An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
From MaRDI portal
Publication:3912077
DOI10.1145/322261.322263zbMath0462.68082OpenAlexW2168578744WikidataQ114614037 ScholiaQ114614037MaRDI QIDQ3912077
Ronald Fagin, Yehoshua Sagiv, Claude Delobel, D. Stott Parker
Publication date: 1981
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322261.322263
Database theory (68P15) Theory of operating systems (68N25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Learning an extension of the class of functional dependencies with queries, A simple characterization of database dependency implication, On improving dependency implication algorithms, An algebraic theory of functional and multivalued dependencies in relational databases, Insertion anomalies and the justification for 4NF in relational databases, Functional dependencies among Boolean dependencies, Positive Boolean dependencies, Closure structures parameterized by systems of isotone Galois connections, Dependencies for an extended object-oriented database model, Foundations for a Fourth Normal Form over SQL-Like Databases, Fuzzy inequational logic, Three views on dependency covers from an FCA perspective, Exact learning of multivalued dependency formulas, Characterisations of multivalued dependency implication over undetermined universes, Unnamed Item, Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty, Unnamed Item, Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices, Approximate inference of functional dependencies from relations, Logic and linguistics meeting, Stanford, 1987, Learning sets of antecedent-restricted functional and multivalued dependencies with queries, On sets of graded attribute implications with witnessed non-redundancy, Characterising nested database dependencies by fragments of propositional logic, Characterizing functional dependencies in formal concept analysis with pattern structures, Numerical constraints on XML data, Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations, Minimal bases of temporal attribute implications, Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes, 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, Spoilt for Choice: Full First-Order Hierarchical Decompositions, Exact Learning of Multivalued Dependencies, When do non-conflict-free multivalued dependency sets appear?, Order dependency in the relational model, Monoidal functional dependencies, Functional dependencies, supervenience, and consequence relations