Integrity constraints revisited: from exact to approximate implication

MaRDI QIDQ5028458zbMATH OpenFDO

Authors Batya Kenig, Dan Suciu

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/1812.09987, https://lmcs.episciences.org/8943

zbMATH Keywords

integrity constraintsthe implication problem

Mathematics Subject Classification ID

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

Recommendations

• Maintaining Consistency of Imprecise Relations
• On the implication problem for cardinality constraints and functional dependencies
• Independence in database relations
• Approximate inference of functional dependencies from relations
• Technical Correspondence

Cites work

• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 176109 (Why is no real title available?)
• scientific article; zbMATH DE number 513105 (Why is no real title available?)
• scientific article; zbMATH DE number 2080474 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• A new class of non-Shannon-type inequalities for entropies
• A new outlook on Shannon's information measures
• A non-Shannon-type conditional inequality of information quantities
• A note on approximation measures for multi-valued dependencies in relational databases
• An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
• Causation, prediction, and search
• Combinatorial optimization. Polyhedra and efficiency (3 volumes)
• Conditional Information Inequalities for Entropic and Almost Entropic Points
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Decompositions and functional dependencies in relations
• Horn clauses and database dependencies
• Independence in database relations
• Information theory and network coding
• Logical and algorithmic properties of conditional independence and graphical models
• Networks, Matroids, and Non-Shannon Information Inequalities
• On characterization of entropy function via information inequalities
• On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
• On the conditional independence implication problem: a lattice-theoretic approach
• On the menbership problem for functional and multivalued dependencies in relational databases
• Recent progresses in characterising information inequalities
• Statistical treatment of the information content of a database
• Trends in cleaning relational data: consistency and deduplication
• Using Markov blankets for causal structure learning

Cited in

(5)

• Semantics and Pragmatics of Integrity Constraints
• scientific article; zbMATH DE number 928019 (Why is no real title available?)
• A general treatment of dynamic integrity constraints
• scientific article; zbMATH DE number 1755591 (Why is no real title available?)
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints

This page was built for publication: Integrity constraints revisited: from exact to approximate implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028458)