Implication and axiomatization of functional and constant constraints

DOI10.1007/S10472-015-9473-7zbMATH Open1357.68047OpenAlexW1862165198MaRDI QIDQ287754FDOQ287754

Authors Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu 

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

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

Recommendations

• Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
• Constraints in RDF
• Implication problems for functional constraints on databases supporting complex objects
• Graphical axiomatization of sets of functional dependencies in relational databases
• Constrained dependencies

Cites Work

• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 3464830 (Why is no real title available?)
• scientific article; zbMATH DE number 1142327 (Why is no real title available?)
• scientific article; zbMATH DE number 4001521 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 2241913 (Why is no real title available?)
• A Proof Procedure for Data Dependencies
• Constraints in RDF
• Horn clauses and database dependencies
• Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
• Reasoning about XML constraints based on XML-to-relational mappings
• The implication problem for `closest node' functional dependencies in complete XML documents

Cited In (4)

• Differential constraints, recursion operators, and logical integrability
• Invariance axioms and functional form restrictions in structural models
• On the implication problem for cardinality constraints and functional dependencies
• Constraints in RDF

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287754)