A Finite Axiomatization of Conditional Independence and Inclusion Dependencies

DOI10.1007/978-3-319-04939-7_10zbMath1344.68064arXiv1309.4927OpenAlexW1845505645MaRDI QIDQ5404957

Miika Hannula, Juha Kontinen

Publication date: 31 March 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.4927

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Related Items (9)

On the finite and general implication problems of independence atoms and keys ⋮ A finite axiomatization of conditional independence and inclusion dependencies ⋮ Complexity of Propositional Independence and Inclusion Logic ⋮ On the consistency problem for modular lattices and related structures ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Axiomatizing first-order consequences in independence logic ⋮ A Logical Approach to Context-Specific Independence

This page was built for publication: A Finite Axiomatization of Conditional Independence and Inclusion Dependencies