Deciding implication for functional dependencies in complex-value databases

DOI10.1016/J.TCS.2006.08.005MaRDI QIDQ860838zbMATH OpenOpenAlexFDO

Authors Sven Hartmann, Sebastian Link

Publication date 9 January 2007

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

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

zbMATH Keywords

Brouwerian algebracomplexitycorrectnessdata typesdatabasesfunctional dependencyimplication problem

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Implication problems for functional constraints on databases supporting complex objects
• scientific article; zbMATH DE number 4106266
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• A membership algorithm for functional and multi-valued dependencies in the presence of lists
• scientific article; zbMATH DE number 3965470

Cites work

• A membership algorithm for functional and multi-valued dependencies in the presence of lists
• A normal form for relational databases that is based on domains and keys
• Advances in databases and information systems. 7th East European conference, ADBIS 2003, Dresden, Germany, September 3--6, 2003. Proceedings
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• Decomposing relationship types by pivoting and schema equivalence
• Equivalence of Relational Database Schemes
• Foundations of Information and Knowledge Systems
• Foundations of Information and Knowledge Systems
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 2086270 (Why is no real title available?)
• scientific article; zbMATH DE number 42986 (Why is no real title available?)
• scientific article; zbMATH DE number 43047 (Why is no real title available?)
• scientific article; zbMATH DE number 41085 (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 1337735 (Why is no real title available?)
• scientific article; zbMATH DE number 566081 (Why is no real title available?)
• scientific article; zbMATH DE number 1953122 (Why is no real title available?)
• scientific article; zbMATH DE number 1982638 (Why is no real title available?)
• scientific article; zbMATH DE number 2033268 (Why is no real title available?)
• scientific article; zbMATH DE number 2080941 (Why is no real title available?)
• scientific article; zbMATH DE number 1466150 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 4001521 (Why is no real title available?)
• scientific article; zbMATH DE number 1887335 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Insertion anomalies and the justification for 4NF in relational databases
• Integrity constraints for XML
• Minimum Covers in Relational Database Model
• On closed elements in closure algebras
• On functional dependencies in advanced data models
• On the implication problem for cardinality constraints and functional dependencies
• On the menbership problem for functional and multivalued dependencies in relational databases
• On XML integrity constraints in the presence of DTDs
• REDUNDANCY AND THE JUSTIFICATION FOR FOURTH NORMAL FORM IN RELATIONAL DATABASES
• Semantics in databases
• The algebra of topology
• The chemical abstract machine
• The nested universal relation database model
• The relational model with relation-valued attributes

Cited in

(11)

• Safety, domain independence and translation of complex value database queries
• The expressive power of complex values in object-based data models
• Characterising nested database dependencies by fragments of propositional logic
• Functional and multivalued dependencies in nested databases generated by record and list constructor
• A membership algorithm for functional and multi-valued dependencies in the presence of lists
• Ideal non-deterministic operators as a formal framework to reduce the key finding problem
• ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
• Lossless Decompositions in Complex-Valued Databases
• Foundations of Information and Knowledge Systems
• Implication of functional dependencies for recursive queries
• Implication problems for functional constraints on databases supporting complex objects

This page was built for publication: Deciding implication for functional dependencies in complex-value databases

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