Pages that link to "Item:Q3891803"
From MaRDI portal
The following pages link to An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic (Q3891803):
Displaying 13 items.
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Charting the completeness frontier of inference systems for multivalued dependencies (Q1006342) (← links)
- An algebraic theory of functional and multivalued dependencies in relational databases (Q1096380) (← links)
- Inferring multivalued dependencies from functional and join dependencies (Q1168088) (← links)
- Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers (Q1823739) (← links)
- Membership problem for embedded multivalued dependencies under some restricted conditions (Q1838346) (← links)
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty (Q2446551) (← links)
- Characterising nested database dependencies by fragments of propositional logic (Q2478548) (← links)
- Functional and multivalued dependencies in nested databases generated by record and list constructor (Q2502161) (← links)
- Another view of functional and multivalued dependencies in the relational database model (Q3038662) (← links)
- Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data (Q5213646) (← links)
- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes (Q5445293) (← links)
