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
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
Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Database theory (68P15)
Cites Work
- Title not available (Why is that?)
- Horn clauses and database dependencies
- Title not available (Why is that?)
- Reasoning about XML constraints based on XML-to-relational mappings
- Constraints in RDF
- A Proof Procedure for Data Dependencies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The implication problem for `closest node' functional dependencies in complete XML documents
- Title not available (Why is that?)
- Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
- Title not available (Why is that?)
Cited In (4)
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)
