Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
From MaRDI portal
Publication:5445293
DOI10.1007/978-3-540-77684-0_7zbMath1138.68388OpenAlexW1585755826MaRDI QIDQ5445293
Sebastian Link, Joachim Biskup
Publication date: 4 March 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77684-0_7
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactions between dependencies and nested relational structures
- An algebraic theory of functional and multivalued dependencies in relational databases
- Inferences of multivalued dependencies in fixed and undetermined universes
- On the complementation rule for multivalued dependencies in database relations
- Axiomatisation of functional dependencies in incomplete relations
- On a problem of Fagin concerning multivalued dependencies in relational databases
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- Full hierarchical dependencies in fixed and undetermined universes
- Functional and multivalued dependencies in nested databases generated by record and list constructor
- On the menbership problem for functional and multivalued dependencies in relational databases
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- On the design of relational database schemata
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- On Axiomatizing Multivalued Dependencies in Relational Databases
- Decision Problems for Multivalued Dependencies in Relational Databases
- Discovery Science
- A relational model of data for large shared data banks
- Formal Concept Analysis
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
This page was built for publication: Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes