Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

DOI10.1016/J.TCS.2006.01.008MaRDI QIDQ2369012zbMATH OpenOpenAlexFDO

Authors Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe

Publication date 28 April 2006

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

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

zbMATH Keywords

AxiomatisationBrouwerian algebraData typesFunctional dependencySemantics in databases

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Axiomatisation of functional dependencies in incomplete relations
• Foundations of Information and Knowledge Systems
• Graphical axiomatization of sets of functional dependencies in relational databases
• Axiomatizing functional dependencies in the higher-order entity-relationship model
• Publication:4730817
• A relation-algebraic approach to the ``Hoare logic of functional dependencies
• An algebraic theory of functional and multivalued dependencies in relational databases
• scientific article; zbMATH DE number 1337735
• scientific article; zbMATH DE number 1927345
• On recursive axioms in deductive databases

Cites work

• A membership algorithm for functional and multi-valued dependencies in the presence of lists
• A new characterization of FD implication with an application to update anomalies
• 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
• Decomposing relationship types by pivoting and schema equivalence
• Equivalence of Relational Database Schemes
• Foundations of Information and Knowledge Systems
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 2086270 (Why is no real title available?)
• scientific article; zbMATH DE number 3974960 (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 53077 (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 1016362 (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 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
• Multiset processing. Mathematical, computer science, and molecular computing points of view
• 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 chemical abstract machine
• The nested universal relation database model

Cited in

(15)

• Functional dependencies on extended relations defined by regular languages
• On a problem of Fagin concerning multivalued dependencies in relational databases
• Reasoning about functional and full hierarchical dependencies over partial relations
• 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
• Weak functional dependencies on trees with restructuring
• ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
• Characterisations of multivalued dependency implication over undetermined universes
• scientific article; zbMATH DE number 2162207 (Why is no real title available?)
• On functional dependencies in advanced data models
• Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
• Lossless Decompositions in Complex-Valued Databases
• Foundations of Information and Knowledge Systems
• Deciding implication for functional dependencies in complex-value databases

This page was built for publication: Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

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