Isamu Kobayashi Validating database updates. 1-17 1984 9 Inf. Syst. 1 db/journals/is/is9.html#Kobayashi84 http://dx.doi.org/10.1016/0306-4379(84)90012-7