On the equivalence of logical databases

Authors:
Gabriel M. Kuper;Jeffrey D. Ullman;Moshe Y. Vardi
Affiliations:
Stanford University, Stanford, California;Stanford University, Stanford, California;IBM Research Laboratory, San Jose, California
Venue:
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Year:
1984

Citing 3
Cited 6

Update semantics of relational views

ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views

ACM Transactions on Database Systems (TODS)
On the semantics of updates in databases

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems

A calculus for complex objects

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Positivism vs minimalism in deductive databases

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An execution model for limited ambiguity rules and its application to derived data update

ACM Transactions on Database Systems (TODS)
A Generalized Relational Model for Indefinite and Maybe Information

IEEE Transactions on Knowledge and Data Engineering
Update semantics for incomplete databases

VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Proving theorems in a multi-source environment

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Quantified Score

Hi-index	0.01

Visualization

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) equivalence of databases under update operations, b) simultaneous multiple update operations.