Pages that link to "Item:Q2629853"
From MaRDI portal
The following pages link to A finite axiomatization of conditional independence and inclusion dependencies (Q2629853):
Displaying 17 items.
- A logical approach to context-specific independence (Q122510) (← links)
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- Some characterizations of finitely specifiable implicational dependency families (Q578937) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- A finite axiomatization of G-dependence (Q1689285) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- On the conditional independence implication problem: a lattice-theoretic approach (Q2351033) (← links)
- On the Interaction of Inclusion Dependencies with Independence Atoms (Q4645737) (← links)
- A Generalization of the Inference Rules for Join Dependencies in Databases (Q5060072) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
