On the undecidability of implications between embedded multivalued database dependencies
From MaRDI portal
Publication:2508328
DOI10.1006/inco.1995.1148zbMath1096.68608MaRDI QIDQ2508328
Publication date: 10 October 2006
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1148
68P15: Database theory
20M05: Free semigroups, generators and relations, word problems
03D35: Undecidability and degrees of sets of sentences
Related Items
Appropriate inferences of data dependencies in relational databases, Axiomatizing first-order consequences in independence logic, Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies, Thue trees, Alan Day's work on modular and arguesian lattices, On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements, Reasoning about functional and full hierarchical dependencies over partial relations, Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty