Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context

DOI10.1007/978-3-540-88594-8_9zbMath1165.68382OpenAlexW1509473185MaRDI QIDQ5504585

Stephen J. Hegner

Publication date: 22 January 2009

Published in: Semantics in Data and Knowledge Bases (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88594-8_9

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

Independent Update Reflections on Interdependent Database Views ⋮ Characterization of Optimal Complements of Database Views Defined by Projection

Uses Software

• Datalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data exchange: semantics and query answering
• Unique complements and decompositions of database schemata
• An order-based theory of updates for closed database views
• The complexity of embedded axiomatization for a class of closed database views
• Inverting schema mappings
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• A Proof Procedure for Data Dependencies
• Update semantics of relational views
• On interpretations of relational languages and solutions to the implied constraint problem
• Horn clauses and database dependencies
• Information-Optimal Reflections of View Updates on Relational Database Schemata

This page was built for publication: Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context