Preservation of integrity constraints in definite DATALOG programs (Q1208438): Difference between revisions

@@ Property / cites work @@
+Equivalence of Relational Database Schemes
@@ Property / cites work: Equivalence of Relational Database Schemes / 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 @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3347338
@@ Property / cites work: Q3347338 / rank @@
+Normal rank