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

DOI10.1016/j.tcs.2006.01.008zbMath1088.68046OpenAlexW2083909202MaRDI QIDQ2369012

Sebastian Link, Klaus-Dieter Schewe, Sven Hartmann

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

Functional dependencyBrouwerian algebraData typesSemantics in databasesAxiomatisation

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

On a problem of Fagin concerning multivalued dependencies in relational databases, Deciding implication for functional dependencies in complex-value databases, Characterisations of multivalued dependency implication over undetermined universes, Reasoning about functional and full hierarchical dependencies over partial relations, ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS, Characterising nested database dependencies by fragments of propositional logic, Functional dependencies on extended relations defined by regular languages, Functional and multivalued dependencies in nested databases generated by record and list constructor, Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes, Lossless Decompositions in Complex-Valued Databases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental properties of infinite trees
• A new characterization of FD implication with an application to update anomalies
• The chemical abstract machine
• Semantics in databases
• Integrity constraints for XML
• Advances in databases and information systems. 7th East European conference, ADBIS 2003, Dresden, Germany, September 3--6, 2003. Proceedings
• The nested universal relation database model
• Insertion anomalies and the justification for 4NF in relational databases
• On the implication problem for cardinality constraints and functional dependencies
• On closed elements in closure algebras
• Decomposing relationship types by pivoting and schema equivalence
• On XML integrity constraints in the presence of DTDs
• On the menbership problem for functional and multivalued dependencies in relational databases
• A normal form for relational databases that is based on domains and keys
• Minimum Covers in Relational Database Model
• Equivalence of Relational Database Schemes
• REDUNDANCY AND THE JUSTIFICATION FOR FOURTH NORMAL FORM IN RELATIONAL DATABASES
• On Functional Dependencies in Advanced Data Models
• Foundations of Information and Knowledge Systems
• Multiset processing. Mathematical, computer science, and molecular computing points of view