Finitely Specifiable Implicational Dependency Families
Journal of the ACM (JACM)
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Foundations of canonical update support for closed database views
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
Updates and object-generating views in ODBS
Data & Knowledge Engineering
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
View Updates Translations in Relational Databases
DEXA '98 Proceedings of the 9th International Conference on Database and Expert Systems Applications
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
The problem of supporting updates to views of a database schema has been the focus of a substantial amount of research over the years. Since the mapping from base schema to view schema is seldom injective, there is usually a choice of possibilities for the reflection of view updates to base-schema updates. This work presents a solution to this problem which augments the constant-complement strategy of Bancilhon and Spyratos with order-theoretic properties to guarantee unique reflection of view updates. Specifically, most database formalisms endow the database states with a natural order structure, under which update by insertion is an increasing operation, and update by deletion is decreasing. Upon augmenting the original constant-complement strategy with compatible order-based notions, the reflection to the base schema of any update to the view schema which is an insertion, a deletion, or a modification which is realizable as a sequence of insertions and deletions is shown to be unique and independent of the choice of complement.