conf/pods/97 Oscar H. Ibarra Jianwen Su On the Containment and Equivalence of Database Queries with Linear Constraints. 32-43 1997 PODS db/conf/pods/pods97.html#IbarraS97 http://doi.acm.org/10.1145/263661.263666 db/conf/pods/IbarraS97.html journals/anthology/cd1-3:PODS97/P032.PDF journals/anthology/dvd1:text/1-3/PODS97/P032.PDF books/aw/AbiteboulHV95 journals/tods/AhoSU79 journals/siamcomp/AhoSU79 journals/jcss/BakerB74 conf/pods/BenediktDLW96 conf/lics/BenediktL96 journals/tods/Chen76 ... conf/stoc/ChandraM77 journals/cacm/Codd70 conf/pods/ChaudhuriV93 journals/ipl/DongS96 ... journals/tcs/Fagin93 ... journals/siamcomp/FerranteR75 journals/tcs/Furer82 ... journals/jcss/GurariI81 journals/jacm/GurariI82 conf/pods/GrumbachS94 conf/pods/GrumbachS95 journals/tcs/GrumbachS97 journals/jacm/Ibarra78 journals/siamcomp/IbarraJTW95 ... journals/jcss/KanellakisKR95 journals/jacm/Klug88 conf/ppcp/Kuper93 conf/pods/LevyRU96 conf/pods/LevyRU96 ... conf/lics/ParedaensBG95 journals/jsc/Renegar92 journals/tcs/Revesz93 conf/stoc/ReddyL78 conf/pods/StolboushkinT96 ... ... books/cs/Ullman88 conf/pods/Meyden92 journals/jcss/ValiantP75