Implication and axiomatization of functional and constant constraints

DOI10.1007/s10472-015-9473-7zbMath1357.68047OpenAlexW1862165198MaRDI QIDQ287754

Marc Gyssens, Jelle Hellings, Yuqing Wu, Jan Paredaens

Publication date: 23 May 2016

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1942/21031

zbMATH Keywords

axiomatizationchase algorithmconstant constraintsfunctional constraints

Mathematics Subject Classification ID

Database theory (68P15) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The implication problem for `closest node' functional dependencies in complete XML documents
• Reasoning about XML constraints based on XML-to-relational mappings
• Constraints in RDF
• A Proof Procedure for Data Dependencies
• Horn clauses and database dependencies
• Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model

This page was built for publication: Implication and axiomatization of functional and constant constraints