The implication problem for functional dependencies and variants of marginal distribution equivalences

DOI10.1145/3677120MaRDI QIDQ6636619zbMATH OpenWikidataFDO

Authors Minna Hirvonen

Publication date 12 November 2024

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3677120

zbMATH Keywords

Armstrong relationscomplete axiomatizationfunctional dependencyinclusion dependencymarginal distribution equivalencepolynomial-time algorithmprobabilistic team semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Approximation and dependence via multiteam semantics
• Armstrong databases for functional and inclusion dependencies
• Axioms and algorithms for inferences involving probabilistic independence
• Compositional semantics for a language of imperfect information
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Depth-First Search and Linear Graph Algorithms
• Design by example: An application of Armstrong relations
• Facets of distribution identities in probabilistic team semantics
• Horn clauses and database dependencies
• scientific article; zbMATH DE number 176109 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On the finite and general implication problems of independence atoms and keys
• On the Structure of Armstrong Relations for Functional Dependencies
• Polynomial-time implication problems for unary inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• 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

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)