Extending inclusion dependencies with conditions

DOI10.1016/j.tcs.2013.11.002zbMath1277.68067OpenAlexW2020230082WikidataQ57495315 ScholiaQ57495315MaRDI QIDQ386615

Wenfei Fan, Shuai Ma, Loreto Bravo

Publication date: 10 December 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.11.002

zbMATH Keywords

implicationsatisfiabilitydata cleaningschema matchinginclusion dependencies

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items

Logic of temporal attribute implications ⋮ A logical approach to context-specific independence ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Incorporating cardinality constraints and synonym rules into conditional functional dependencies
• Testing containment of conjunctive queries under functional and inclusion dependencies
• On completing tables to satisfy functional dependencies
• Inclusion dependencies and their interaction with functional dependencies
• Armstrong databases for functional and inclusion dependencies
• Minimal-change integrity maintenance using tuple deletions
• Domino-tiling games
• Relationships between nondeterministic and deterministic tape complexities
• Census Data Repair: A Challenging Application of Disjunctive Logic Programming
• Polynomial-time implication problems for unary inclusion dependencies
• A Proof Procedure for Data Dependencies
• Nondeterministic Space is Closed under Complementation
• Answer sets for consistent query answering in inconsistent databases