Inferring multivalued dependencies from functional and join dependencies
From MaRDI portal
Publication:1168088
DOI10.1007/BF00290729zbMath0492.68070WikidataQ114694748 ScholiaQ114694748MaRDI QIDQ1168088
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
algorithmimplicationfunctional dependenciesacyclic join dependenciesembedded multivalued dependenciesfirst order hierarchical decompositionslossless join dependenciesworst case running time
Analysis of algorithms and problem complexity (68Q25) Information storage and retrieval of data (68P20)
Related Items (3)
An algebraic theory of functional and multivalued dependencies in relational databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Querying incomplete data over extended ER schemata
Cites Work
- Unnamed Item
- Unnamed Item
- Inferences of multivalued dependencies in fixed and undetermined universes
- The interaction of integrity constraints in an information system
- On the Desirability of Acyclic Database Schemes
- Addendum: Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- A Proof Procedure for Data Dependencies
- On the menbership problem for functional and multivalued dependencies in relational databases
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- Decompositions and functional dependencies in relations
- Equivalence of Relational Database Schemes
- On the Complexity of Testing Implications of Functional and Join Dependencies
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- A Complete Axiomatization of Full Join Dependencies
- A simplied universal relation assumption and its properties
- Horn clauses and database dependencies
- On Axiomatizing Multivalued Dependencies in Relational Databases
- Decision Problems for Multivalued Dependencies in Relational Databases
This page was built for publication: Inferring multivalued dependencies from functional and join dependencies