Pages that link to "Item:Q3765274"
From MaRDI portal
The following pages link to Correction to “An equivalence between relational database dependencies and a fragment of propositional logic” (Q3765274):
Displayed 7 items.
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics (Q765524) (← links)
- Functional dependencies among Boolean dependencies (Q1353956) (← links)
- Characterising nested database dependencies by fragments of propositional logic (Q2478548) (← links)
- Border Algorithms for Computing Hasse Diagrams of Arbitrary Lattices (Q3003408) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)