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

DOI10.1007/978-3-031-11321-5_8OpenAlexW4285177942MaRDI QIDQ2103913FDOQ2103913

Authors: Minna Hirvonen 

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_8

Recommendations

• The implication problem for functional and inclusion dependencies
• scientific article; zbMATH DE number 3965470
• Functional equations in the theory of conditionally specified distributions
• On the conditional independence implication problem: a lattice-theoretic approach
• The Representation Problem for Independence Functions
• scientific article; zbMATH DE number 1944348
• On the implication problem for cardinality constraints and functional dependencies
• Belief function independence: I. The marginal case
• On the Existence of Probability Distributions with Given Marginals

zbMATH Keywords

polynomial-time algorithmcomplete axiomatizationfunctional dependenceArmstrong relationsmarginal distribution equivalenceprobabilistic team semantics

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Title not available (Why is that?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Compositional semantics for a language of imperfect information
• Depth-First Search and Linear Graph Algorithms
• Undirected connectivity in log-space
• Polynomial-time implication problems for unary inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Horn clauses and database dependencies
• Title not available (Why is that?)
• Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
• Armstrong databases for functional and inclusion dependencies
• On the Structure of Armstrong Relations for Functional Dependencies
• Design by example: An application of Armstrong relations
• Approximation and dependence via multiteam semantics
• Facets of distribution identities in probabilistic team semantics
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals

Cited In (3)

• Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
• Title not available (Why is that?)
• The implication problem for functional dependencies and variants of marginal distribution equivalences

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 Q2103913)