Xiaolei Qian The Deductive Synthesis of Database Transactions. 626-677 1993 18 ACM Trans. Database Syst. 4 db/journals/tods/tods18.html#Qian93 TODS18/P626.PDF http://doi.acm.org/10.1145/169725.169716 ... journals/toplas/CasanovaB80 journals/cacm/Codd70 ... journals/jacm/Fagin82 ... journals/tods/FreytagG89 conf/vldb/GardarinM79 ... journals/mscs/Girard91 ... conf/adbt/HenschenMN82 conf/sigmod/HsuI85 journals/ai/Kant83 ... conf/vldb/KoenigP81 journals/toplas/MannaW80 journals/acta/MannaW81 journals/jacm/MannaW86 conf/aaai/MannaW87 journals/jar/MannaW87 ... conf/slp/MartelliMR86 ... ... ... conf/adbt/NicolasM77 journals/acta/Nicolas82 conf/adbt/Paige82 ... ... journals/ipl/Qian90 journals/acta/Qian91 ... journals/tods/SheardS89 journals/ai/Smith85 journals/jar/Stickel85 books/cs/Ullman88 ... ...