A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
The structure of the relational database model
The structure of the relational database model
Logic programming and databases
Logic programming and databases
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
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
The impact of the constant complement approach towards view updating
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
ACM Transactions on Database Systems (TODS)
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A model of independence and overlap for transactions on database schemata
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Characterization of optimal complements of database views defined by projection
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Independent update reflections on interdependent database views
Conceptual Modelling and Its Theoretical Foundations
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Within the context of the relational model, a general technique for establishing that the translation of a view update defined by constant complement is independent of the choice of complement is presented. In contrast to previous results, the uniqueness is not limited to order-based updates (those constructed from insertions and deletions), nor is it limited to those well-behaved complements which define closed update strategies. Rather, the approach is based upon optimizing the change of information in the main schema which the view update entails. The only requirement is that the view and its complement together possess a property called semantic bijectivityrelative to the information measure. It is furthermore established that a very wide range of views have this property. This results formalizes the intuition, long observed in examples, that it is difficult to find different complements which define distinct but reasonable update strategies.