# A finite axiomatization of conditional independence and inclusion dependencies

arXiv: https://arxiv.org/abs/1309.4927 · HTML: https://mlsanity.com/paper/1309.4927/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 19 Sep 2013.

## Built on by (most cited first, 2 of 2)

- [On the Complexity and Properties of Preferential Propositional Dependence Logic](https://mlsanity.com/paper/2505.08522/) (2025)
- [A Primer for Preferential Non-Monotonic Propositional Team Logics](https://mlsanity.com/paper/2405.06973/) (2024)

## Abstract (arXiv)

We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databases, our result implies a finite axiomatization of the unrestricted implication problem for inclusion, functional, and embedded multivalued dependencies in the unirelational case.