On the undecidability of implications between embedded multivalued database dependencies
From MaRDI portal
Publication:2508328
Recommendations
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- The implication problem for functional and inclusion dependencies
- Reasoning about embedded dependencies using inclusion dependencies
- Foundations of Information and Knowledge Systems
Cited in
(28)- A logical approach to context-specific independence
- 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
- On the finite and general implication problems of independence atoms and keys
- Dependence logic in pregeometries and -stable theories
- A Logical Approach to Context-Specific Independence
- The implication problem for functional and inclusion dependencies
- Reasoning about embedded dependencies using inclusion dependencies
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- scientific article; zbMATH DE number 517063 (Why is no real title available?)
- 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
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- On dependence logic
- Independence logic and abstract independence relations
- Diversity, dependence and independence
- Team semantics and independence notions in quantum physics
- Conditional independence on semiring relations
- Information inequality problem over set functions
- Approximate implication for probabilistic graphical models
- 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
This page was built for publication: On the undecidability of implications between embedded multivalued database dependencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2508328)
