Sha Guo Wei Sun Mark Allen Weiss Solving Satisfiability and Implication Problems in Database Systems. 270-293 1996 21 ACM Trans. Database Syst. 2 db/journals/tods/tods21.html#GuoSW96 TODS21/P270.PDF http://doi.acm.org/10.1145/232616.232692 db/journals/tods/GuoSW96.html books/aw/AhoHU83 journals/siamcomp/AhoSU79 journals/tods/AhoSU79 journals/tods/AstrahanBCEGGKLMMPTWW76 conf/vldb/BlakeleyCL86 conf/sigmod/BlakeleyLT86 books/mg/CeriP84 journals/tods/ChakravarthyGM90 conf/stoc/CoppersmithW87 books/mg/CormenLR89 ... journals/csur/GallaireMN84 journals/tcs/GareyJS76 journals/tkde/GuoSW96 journals/csur/JarkeK84 journals/jcss/JohnsonK84 journals/siamcomp/JohnsonK83 ... conf/vldb/King81 journals/jacm/Klug88 conf/vldb/KrishnamurthyBZ86 ... journals/tods/MeghiniT91 conf/vldb/RosenkrantzH80 conf/sigmod/Sellis86 journals/tods/ShashaW91 conf/berkeley/StonebrakerN77 journals/tse/SunKN89 journals/tkde/SunW94 journals/tkde/SunY94 ... journals/siamcomp/Tarjan72 books/cs/Ullman88 books/cs/Ullman89 ... journals/tods/WongY76 journals/csur/YuC84 journals/tkde/YuS89