Isamu Kobayashi Validating database updates. 1-17 1984 9 Inf. Syst. 1 db/journals/is/is9.html#Kobayashi84