Updating Logical Databases.
- 1 January 1984
- report
- Published by Defense Technical Information Center (DTIC)
Abstract
The authors suggest a new approch to database updates, in which a database is treated as a collection of theories. They investigate two issues: simultaneous multiple update operations, and equivalence of databases under update operations. (Author)Keywords
This publication has 0 references indexed in Scilit: