Atsushi Ohori Orderings and Types in Databases. 97-116 DBPL1987/P097.pdf 1987 DBPL db/conf/dbpl/dbpl87.html#Ohori87 conf/dbpl/87 db/conf/dbpl/Ohori87.html conf/pods/AbiteboulB84 conf/pods/BancilhonK86 ... conf/icdt/BunemanO86 journals/tcs/BunemanJO91 journals/iandc/Cardelli88 ... journals/iandc/MacQueenPS86 conf/pods/OzsoyogluY85 journals/tods/RothKS88 ... ... journals/jcss/Smyth78 journals/jcss/Zaniolo84