OLDTNF-based evaluation method for handling recursive queries in deductive databases (Q1286645): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746920
@@ Property / cites work: Q3746920 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient bottom-up computation of queries on stratified databases
+Normal rank
@@ Property / cites work @@
+Q3125846
@@ Property / cites work: Q3125846 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel complexity of logical query programs
@@ Property / cites work: Parallel complexity of logical query programs / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable optimization problems for database logic programs
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation based on oldt resolution
@@ Property / cites work: Abstract interpretation based on oldt resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02917039
+Normal rank
@@ Property / OpenAlex ID @@
+W2039354580
@@ Property / OpenAlex ID: W2039354580 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1286645