On the equivalence of logical databases

Abstract

We suggest a new approach to database updates, in which a database is treated as a collection of theories. We investigate two issues: A) equivslence of databases under update operations, b) simultaneous multiple update operations.