db/journals/sigmod/Corridenda72.html 19 sigmodR/04-1/P019.pdf 1972 4 FDT - Bulletin of ACM SIGFIDET 1 db/journals/sigmod/sigmod4.html#Corridenda72