Alberto O. Mendelzon Database States and Their Tableaux. 264-282 TODS9/P264.PDF 1984 9 ACM Trans. Database Syst. 2 db/journals/tods/tods9.html#Mendelzon84 http://doi.acm.org/10.1145/329.318579 db/journals/tods/Mendelzon84.html journals/siamcomp/AhoSU79 journals/tods/Babb82 conf/vldb/BeeriBG78 journals/siamcomp/BeeriMSU81 ... conf/stoc/ChandraM77 persons/Codd71a conf/sigmod/Fagin79 journals/tods/FaginMU82 journals/tods/Graham83 conf/pods/GrahamM82 journals/jacm/Honeyman82 conf/pods/KuckS82 journals/jcss/MaierMSU80 journals/tods/MaierMS79 conf/sigmod/MaierRSSW82 conf/pods/MaierUV83 conf/pods/Rissanen82 ... conf/sigmod/Sagiv81 books/cs/Ullman82 ...