A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Finitely Specifiable Implicational Dependency Families
Journal of the ACM (JACM)
The structure of the relational database model
The structure of the relational database model
Abstract and concrete categories
Abstract and concrete categories
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Foundations of canonical update support for closed database views
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Constant-time maintainability: a generalization of independence
ACM Transactions on Database Systems (TODS)
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)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Uniqueness of Update Strategies for Database Views
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
On the computation of relational view complements
ACM Transactions on Database Systems (TODS)
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fundamentals of Database Systems, Fourth Edition
Fundamentals of Database Systems, Fourth Edition
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Update support for database views via cooperation
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information 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
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
FD covers and universal complements of simple projections
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Hi-index | 0.00 |
It is well known that the complexity of testing the correctness of an arbitrary update to a database view can be far greater than the complexity of testing a corresponding update to the main schema. However, views are generally managed according to some protocol which limits the admissible updates to a subset of all possible changes. The question thus arises as to whether there is a more tractable relationship between these two complexities in the presence of such a protocol. In this paper, this question is addressed for closed update strategies, which are based upon the constant-complement approach of Bancilhon and Spyratos. The approach is to address a more general question --- that of characterizing the complexity of axiomatization of views, relative to the complexity of axiomatization of the main schema. For schemata constrained by denial or consistency constraints, that is, statements which rule out certain situations, such as the equality-generating dependencies (EGDs) or, more specifically, the functional dependencies (FDs) of the relational model, a broad and comprehensive result is obtained in a very general framework which is not tied to the relational model in any way. It states that every such schema is governed by an equivalent set of constraints which embed into the component views, and which are no more complex than the original set. For schemata constrained by generating dependencies, of which tuple-generating dependencies (TGDs) in general and, more specifically, both join dependencies (JDs) and inclusion dependencies (INDs) are examples within the relational model, a similar result is obtained, but only within a context known as meet-uniform decompositions, which fails to recapture some important situations. To address the all-important case of relational schemata constrained by both FDs and INDs, a hybrid approach is also developed, in which the general theory regarding denial constraints is blended with a focused analysis of a special but very practical subset of the INDs known as fanout-free unary inclusion dependencies (fanout-free UINDs), to obtain results parallel to the above-mentioned cases: every such schema is governed by an equivalent set of constraints which embed into the component views, and which are no more complex than the original set. In all cases, the question of view update complexity is then answered via a corollary to this main result.