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 (10)

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

• 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
• 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

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