Testing for existence of a covering Boyce-Codd normal form (Q1259438): Difference between revisions

@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050126
@@ Property / cites work: Q4050126 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162636
@@ Property / cites work: Q4162636 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of a Data Base and the Theory of Boolean Switching Functions
+Normal rank
@@ Property / cites work @@
+Segment Synthesis in Logical Data Base Design
@@ Property / cites work: Segment Synthesis in Logical Data Base Design / rank @@
+Normal rank