The complexity of embedded axiomatization for a class of closed database views
From MaRDI portal
Publication:2502159
DOI10.1007/S10472-005-9013-YzbMATH Open1097.68554OpenAlexW2038702026MaRDI QIDQ2502159FDOQ2502159
Authors: Stephen J. Hegner 
Publication date: 12 September 2006
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-005-9013-y
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polynomial-time implication problems for unary inclusion dependencies
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- Horn clauses and database dependencies
- Title not available (Why is that?)
- A Proof Procedure for Data Dependencies
- Title not available (Why is that?)
- Update semantics of relational views
- Armstrong databases for functional and inclusion dependencies
- An order-based theory of updates for closed database views
- On interpretations of relational languages and solutions to the implied constraint problem
- Title not available (Why is that?)
- Formal Systems for Tuple and Equality Generating Dependencies
- Finitely Specifiable Implicational Dependency Families
- On the family of generalized dependency constraints
- Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
- Updates of Relational Views
- Unique complements and decompositions of database schemata
- Title not available (Why is that?)
- Characterization of desirable properties of general database decompositions.
- Title not available (Why is that?)
- Foundations of Information and Knowledge Systems
Cited In (6)
- Characterisations of multivalued dependency implication over undetermined universes
- Foundations of Information and Knowledge Systems
- Title not available (Why is that?)
- Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
- Invariance properties of the constant-complement view-update strategy
- Characterization of optimal complements of database views defined by projection
This page was built for publication: The complexity of embedded axiomatization for a class of closed database views
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2502159)
