Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
From MaRDI portal
Publication:859834
DOI10.1016/j.ic.2006.09.002zbMath1171.68449OpenAlexW2084831953MaRDI QIDQ859834
Publication date: 22 January 2007
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2006.09.002
Related Items (14)
On the finite and general implication problems of independence atoms and keys ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Appropriate inferences of data dependencies in relational databases ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty ⋮ Axiomatizing first-order consequences in independence logic ⋮ Unnamed Item ⋮ On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements ⋮ DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES ⋮ Diversity, dependence and independence ⋮ 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 ⋮ On Dependence Logic ⋮ Independence logic and abstract independence relations
Cites Work
This page was built for publication: Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
