A Logic-based Language for Database Updates
- 1 January 1988
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Distributed optimistic concurrency control with reduced rollbackDistributed Computing, 1987
- A sound and sometimes complete query evaluation algorithm for relational databases with null valuesJournal of the ACM, 1986
- Incomplete Information in Relational DatabasesJournal of the ACM, 1984
- On the correct translation of update operations on relational viewsACM Transactions on Database Systems, 1982
- Update semantics of relational viewsACM Transactions on Database Systems, 1981
- Permitting updates through views of data basesInformation Systems, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976