Pages that link to "Item:Q2508328"
From MaRDI portal
The following pages link to On the undecidability of implications between embedded multivalued database dependencies (Q2508328):
Displayed 8 items.
- Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies'' (Q859834) (← links)
- Thue trees (Q1861534) (← links)
- Alan Day's work on modular and arguesian lattices (Q1902541) (← 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)