An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
From MaRDI portal
Publication:3945623
DOI10.1145/322290.322296zbMath0485.68090OpenAlexW2047776098MaRDI QIDQ3945623
Publication date: 1982
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322290.322296
normal formsmembership testfunctional dependencydatabase managementmultivalued dependencydata models
Related Items (25)
On the finite and general implication problems of independence atoms and keys ⋮ On a problem of Fagin concerning multivalued dependencies in relational databases ⋮ An algebraic theory of functional and multivalued dependencies in relational databases ⋮ On finding a worst-case optimal fourth normal form database decomposition ⋮ Foundations for a Fourth Normal Form over SQL-Like Databases ⋮ Compact scheme forests in nested normal form ⋮ Appropriate inferences of data dependencies in relational databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Inferring multivalued dependencies from functional and join dependencies ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS ⋮ Design of desirable relational database schemes ⋮ Characterising nested database dependencies by fragments of propositional logic ⋮ Another view of functional and multivalued dependencies in the relational database model ⋮ Functional and multivalued dependencies in nested databases generated by record and list constructor ⋮ Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes ⋮ Charting the completeness frontier of inference systems for multivalued dependencies ⋮ Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data ⋮ Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions ⋮ Multivalued dependencies in fuzzy relational databases and lossless join decomposition ⋮ Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers ⋮ Membership problem for embedded multivalued dependencies under some restricted conditions ⋮ Membership problems for data dependencies in relational expressions ⋮ Unifying functional and multivalued dependencies for relational database design
This page was built for publication: An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database