Pages that link to "Item:Q859834"
From MaRDI portal
The following pages link to Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' (Q859834):
Displaying 16 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)
- On the undecidability of implications between embedded multivalued database dependencies (Q2508328) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Dependence logic in pregeometries and \(\omega\)-stable theories (Q2805022) (← links)
- Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM (Q4593021) (← 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)
