Peter Buneman Atsushi Ohori 30-76 1996 21 ACM Trans. Database Syst. 1 db/journals/tods/tods21.html#BunemanO96 TODS21/P030.PDF http://doi.acm.org/10.1145/227604.227609 db/journals/tods/BunemanO96.html journals/csur/AtkinsonB87 conf/sigmod/AbiteboulB91 journals/cj/AtkinsonBCCM83 conf/dood/AtkinsonBDDMZ89 journals/tods/AlbanoCO85 journals/toplas/AbadiCPP91 conf/plilp/AppelM91 ... conf/vldb/BancilhonBKV87 conf/adbt/Biskup79 journals/tcs/BunemanJO91 journals/sigmod/BunemanLSTW94 conf/dbpl/BunemanO91 conf/dbpl/TannenBN91 conf/icdt/TannenBW92 conf/icalp/TannenS91 ... journals/iandc/Cardelli88 ... journals/csur/CardelliW85 conf/sigmod/CopelandM84 journals/tcs/Courcelle83 conf/popl/DamasM82 journals/tcs/GallierS89 conf/popl/HarperP91 ... ... conf/lics/HoangMV93 ... ... journals/csur/HullK87 ... journals/jacm/ImielinskiL84 conf/pods/ImmermanPS91 ... journals/sigmod/Kim94 conf/popl/Leroy93 conf/popl/LeroyW91 journals/tods/Lipski79 journals/iandc/MacQueenPS86 ... ... journals/jcss/Milner78 ... ... ... ... ... journals/tcs/Ohori90 conf/popl/Ohori92 ... ... conf/sigmod/OhoriBT89 journals/toplas/Ohori95 journals/tcs/Plotkin75 conf/popl/Remy92 ... journals/jacm/Robinson65 journals/tods/Schmidt77 books/aw/Stroustrup91 conf/sigmod/StonebrakerR86 ... ... ... conf/lics/Wand87 conf/lics/Wand88 conf/lics/Wand89 ... journals/spe/Wirth77 ... journals/jcss/Zaniolo84