A finite axiomatization of conditional independence and inclusion dependencies (Q2629853): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2016.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2335835246
@@ Property / OpenAlex ID: W2335835246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure for Data Dependencies
@@ Property / cites work: A Proof Procedure for Data Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Systems for Tuple and Equality Generating Dependencies
+Normal rank
@@ Property / cites work @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+General models and entailment semantics for independence logic
+Normal rank
@@ Property / cites work @@
+Q2958528
@@ Property / cites work: Q2958528 / rank @@
+Normal rank
@@ Property / cites work @@
+On Dependence Logic
@@ Property / cites work: On Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies in independence logic
@@ Property / cites work: Hierarchies in independence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and algorithms for inferences involving probabilistic independence
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing first-order consequences in independence logic
+Normal rank
@@ Property / cites work @@
+Reasoning About Embedded Dependencies Using Inclusion Dependencies
+Normal rank
@@ Property / cites work @@
+A Finite Axiomatization of Conditional Independence and Inclusion Dependencies
+Normal rank
@@ Property / cites work @@
+On the undecidability of implications between embedded multivalued database dependencies
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies''
+Normal rank
@@ Property / cites work @@
+Axiomatizing first-order consequences in dependence logic
+Normal rank
@@ Property / cites work @@
+Independence in Database Relations
@@ Property / cites work: Independence in Database Relations / rank @@
+Normal rank
@@ Property / cites work @@
+The implication problem for functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Dependence and Independence in Social Choice: Arrow’s Theorem
+Normal rank
@@ Property / cites work @@
+DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES
+Normal rank
@@ Property / cites work @@
+The interaction of integrity constraints in an information system
+Normal rank
@@ Property / cites work @@
+Q4162638
@@ Property / cites work: Q4162638 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional logics of dependence
@@ Property / cites work: Propositional logics of dependence / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic dependencies
@@ Property / cites work: Algebraic dependencies / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2629853