Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
type: Item
instance of: scholarly article
title: Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
zbMATH Open document ID: 1330.68279
author: Sebastian Link
published in: Theoretical Computer Science
publication date: 2015-10-12T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 6493333
zbMATH Keywords: axiomatization
zbMATH Keywords: complexity
zbMATH Keywords: conditional independence
zbMATH Keywords: discrete probability measure
zbMATH Keywords: hierarchical database decomposition
zbMATH Keywords: implication
zbMATH Keywords: propositional logic
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.07.017
OpenAlex ID: W1119958565
cites work: Q4864249
cites work: Functional dependencies and constraints on null values in database relations
cites work: On the menbership problem for functional and multivalued dependencies in relational databases
cites work: Appropriate inferences of data dependencies in relational databases
cites work: A logical notion of conditional independence: properties and applications
cites work: Q4195750
cites work: Hierarchies in Dependence Logic
cites work: A mathematical introduction to logic.
cites work: Functional Dependencies in a Relational Database and Propositional Logic
cites work: An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
cites work: Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
cites work: Axioms and algorithms for inferences involving probabilistic independence
cites work: Logical and algorithmic properties of independence and their application to Bayesian networks
cites work: Logical and algorithmic properties of conditional independence and graphical models
cites work: Dependence and independence
cites work: Characterising nested database dependencies by fragments of propositional logic
cites work: On the undecidability of implications between embedded multivalued database dependencies
cites work: Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies''
cites work: Independence in Database Relations
cites work: Conditional independence in propositional logic.
cites work: Axiomatisation of functional dependencies in incomplete relations
cites work: On the Equivalence of Database Models
cites work: Charting the completeness frontier of inference systems for multivalued dependencies
cites work: On Inferences of Full First-Order Hierarchical Decompositions
cites work: Characterisations of multivalued dependency implication over undetermined universes
cites work: Propositional Reasoning about Saturated Conditional Probabilistic Independence
cites work: Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
cites work: Concurrency semantics for the Geiger-Paz-Pearl axioms of independence
cites work: Independence in information spaces
cites work: On interchangeability of Nash equilibria in multi-player strategic games
cites work: On the conditional independence implication problem: a lattice-theoretic approach
cites work: Logical and algorithmic properties of stable conditional independence
cites work: An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
cites work: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
cites work: Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
cites work: Tractable reasoning via approximation
cites work: Q4035210
cites work: Q3994395
cites work: Semantic foundations of 4NF in relational database design
DOI: 10.1016/J.TCS.2015.07.017
description: scientific article; zbMATH DE number 6493333