Pages that link to "Item:Q859834"

The following pages link to Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' (Q859834):

Displaying 14 items.

• On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
• Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
• Axiomatizing first-order consequences in independence logic (Q466449) (← links)
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
• On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements (Q2252644) (← links)
• Reasoning about functional and full hierarchical dependencies over partial relations (Q2446453) (← links)
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty (Q2446551) (← links)
• A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
• DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022) (← links)
• (Q5028458) (← links)
• Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
• On Dependence Logic (Q5249667) (← links)
• Independence logic and abstract independence relations (Q5258482) (← links)
• Diversity, dependence and independence (Q5918485) (← links)