Characterising nested database dependencies by fragments of propositional logic (Q2478548): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2007.11.004
@@ Property / DOI: 10.1016/j.apal.2007.11.004 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2007.11.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2106619679
@@ Property / OpenAlex ID: W2106619679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3741626
@@ Property / cites work: Q3741626 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix Rounding under the <i>L<sub>p</sub></i>-Discrepancy Measure and Its Application to Digital Halftoning
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Semantics in databases
@@ Property / cites work: Semantics in databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799606
@@ Property / cites work: Q4799606 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Q3691100
@@ Property / cites work: Q3691100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Dependencies in a Relational Database and Propositional Logic
+Normal rank
@@ Property / cites work @@
+An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
+Normal rank
@@ Property / cites work @@
+Deciding implication for functional dependencies in complex-value databases
+Normal rank
@@ Property / cites work @@
+Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
+Normal rank
@@ Property / cites work @@
+Functional and multivalued dependencies in nested databases generated by record and list constructor
+Normal rank
@@ Property / cites work @@
+The nested universal relation database model
@@ Property / cites work: The nested universal relation database model / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414523
@@ Property / cites work: Q4414523 / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992720
@@ Property / cites work: Q3992720 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
+Normal rank
@@ Property / cites work @@
+An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
+Normal rank
@@ Property / cites work @@
+Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
+Normal rank
@@ Property / cites work @@
+Q4291432
@@ Property / cites work: Q4291432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4486417
@@ Property / cites work: Q4486417 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2007.11.004
@@ Property / DOI: 10.1016/J.APAL.2007.11.004 / rank @@
+Normal rank