Functional and multivalued dependencies in nested databases generated by record and list constructor

DOI10.1007/s10472-005-9015-9zbMath1097.68553MaRDI QIDQ2502161

Klaus-Dieter Schewe, Sven Hartmann, Sebastian Link

Publication date: 12 September 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-005-9015-9

zbMATH Keywords

independence; functional dependency; axiomatisation; lists; multivalued dependency; nested databases

Mathematics Subject Classification ID

68P15: Database theory

Related Items

Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes, Appropriate inferences of data dependencies in relational databases, Characterisations of multivalued dependency implication over undetermined universes, Deciding implication for functional dependencies in complex-value databases, Charting the completeness frontier of inference systems for multivalued dependencies, Full hierarchical dependencies in fixed and undetermined universes, Characterising nested database dependencies by fragments of propositional logic, ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS

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
• Approximate inference of functional dependencies from relations
• Membership problems for data dependencies in relational expressions
• Interactions between dependencies and nested relational structures
• An algebraic theory of functional and multivalued dependencies in relational databases
• A new characterization of FD implication with an application to update anomalies
• Inferences of multivalued dependencies in fixed and undetermined universes
• On the complexity of inferring functional dependencies
• Semantic foundations of 4NF in relational database design
• Integrity constraints for XML
• Path constraints in semistructured databases
• 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
• Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
• On closed elements in closure algebras
• Decomposing relationship types by pivoting and schema equivalence
• On XML integrity constraints in the presence of DTDs
• Extended algebra and calculus for nested relational databases
• On the menbership problem for functional and multivalued dependencies in relational databases
• An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
• A normal form for relational databases that is based on domains and keys
• Minimum Covers in Relational Database Model
• An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
• Functional Dependencies in a Relational Database and Propositional Logic
• On Axiomatizing Multivalued Dependencies in Relational Databases
• Decision Problems for Multivalued Dependencies in Relational Databases
• REDUNDANCY AND THE JUSTIFICATION FOR FOURTH NORMAL FORM IN RELATIONAL DATABASES
• Algorithms for inferring functional dependencies from relations
• On Functional Dependencies in Advanced Data Models
• Foundations of Information and Knowledge Systems