A semantic approach to optimize linear datalog programs (Q854685): Difference between revisions

@@ Property / cites work @@
+Boundedness is undecidable for datalog programs with a single recursive rule
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / 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 @@
+Q4939252
@@ Property / cites work: Q4939252 / rank @@
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414537
@@ Property / cites work: Q4414537 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable optimization problems for database logic programs
+Normal rank
@@ Property / cites work @@
+A time bound on the materialization of some recursively defined views
+Normal rank
@@ Property / cites work @@
+Q3786039
@@ Property / cites work: Q3786039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs
+Normal rank
@@ Property / cites work @@
+On recursive axioms in deductive databases
@@ Property / cites work: On recursive axioms in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic approach to optimize linear datalog programs
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of integrity constraints in definite DATALOG programs
+Normal rank