The implication problem for functional dependencies and variants of marginal distribution equivalences
From MaRDI portal
Publication:6636619
DOI10.1145/3677120WikidataQ130887617 ScholiaQ130887617MaRDI QIDQ6636619
Publication date: 12 November 2024
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
polynomial-time algorithmfunctional dependencyinclusion dependencycomplete axiomatizationArmstrong relationsmarginal distribution equivalenceprobabilistic team semantics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the finite and general implication problems of independence atoms and keys
- Design by example: An application of Armstrong relations
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Armstrong databases for functional and inclusion dependencies
- Axioms and algorithms for inferences involving probabilistic independence
- Approximation and dependence via multiteam semantics
- Dependence and independence
- The implication problem for functional dependencies and variants of marginal distribution equivalences
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Facets of distribution identities in probabilistic team semantics
- Polynomial-time implication problems for unary inclusion dependencies
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- On the Structure of Armstrong Relations for Functional Dependencies
- Horn clauses and database dependencies
- Compositional semantics for a language of imperfect information
- Depth-First Search and Linear Graph Algorithms
This page was built for publication: The implication problem for functional dependencies and variants of marginal distribution equivalences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636619)
