On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements

DOI10.1016/j.ipl.2014.05.010zbMath1371.68273OpenAlexW2024798166MaRDI QIDQ2252644

Mathias Niepert, Dirk Van Gucht, Marc Gyssens

Publication date: 18 July 2014

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1942/17775

zbMATH Keywords

completenessaxiom systemsoundnessdatabasessemigraphoid axiomsconditional independence statementsaturated conditional independence statement

Mathematics Subject Classification ID

Database theory (68P15) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

On the finite and general implication problems of independence atoms and keys ⋮ Dynamic and Discernibility Characteristics of Different Attribute Reduction Criteria ⋮ Unnamed Item ⋮ A logical approach to context-specific independence ⋮ Approximation and dependence via multiteam semantics ⋮ A Logical Approach to Context-Specific Independence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Racing algorithms for conditional independence inference
• Stochastic independence, causal independence, and shieldability
• A unique formal system for binary decompositions of database relations, probability distributions, and graphs
• Fuzzy sets as a basis for a theory of possibility
• Logical and algorithmic properties of conditional independence and graphical models
• On the conditional independence implication problem: a lattice-theoretic approach
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• On the undecidability of implications between embedded multivalued database dependencies
• Another view of functional and multivalued dependencies in the relational database model
• Three Counter-Examples on Semi-Graphoids