On the undecidability of implications between embedded multivalued database dependencies

DOI10.1006/inco.1995.1148zbMath1096.68608MaRDI QIDQ2508328

Christian Herrmann

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

Mathematics Subject Classification ID

68P15: Database theory

20M05: Free semigroups, generators and relations, word problems

03D35: Undecidability and degrees of sets of sentences

Related Items

Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data, On Dependence Logic, Independence logic and abstract independence relations, A logical approach to context-specific independence, On the finite and general implication problems of independence atoms and keys, Appropriate inferences of data dependencies in relational databases, Axiomatizing first-order consequences in independence logic, On interchangeability of Nash equilibria in multi-player strategic games, Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions, 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, A finite axiomatization of conditional independence and inclusion dependencies, DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES, A Logical Approach to Context-Specific Independence