An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
From MaRDI portal
Publication:3891803
DOI10.1145/322186.322190zbMath0446.68085OpenAlexW2089176231WikidataQ114614038 ScholiaQ114614038MaRDI QIDQ3891803
Publication date: 1980
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322186.322190
Analysis of algorithms and problem complexity (68Q25) Information storage and retrieval of data (68P20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
An algebraic theory of functional and multivalued dependencies in relational databases ⋮ Characterisations of multivalued dependency implication over undetermined universes ⋮ Inferring multivalued dependencies from functional and join dependencies ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ 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 ⋮ 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
