On the equivalence of logical databases
Gabriel M. Kuper, Jeffrey David Ullman, Moshe Y. Vardi · 1984
We suggest a new approach to database updates, in which a database is treated as a collection of theories. We investigate two issues: a) equivalence of databases under update operations, b) simultaneous multiple update operations.