Searching for "On Termination of Datalog Programs." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Termination properties of spatial Datalog programs
- …Termination properties of spatial Datalog programs Bart Kuijpers, Jan Paredaens, Marc Smits and Jan…
- Add To MetaCart
-
Homeomorphic Embedding for Online Termination
- … to ensure the termination of program analysis, specialisation and transformation techniques. In this paper…
- Cited by 46 (7 self) – Add To MetaCart
-
Scheduling Strategies for Evaluation of Recursive Queries over Memory and Disk-Resident Data
- … [Ull89a]) on the other hand, do terminate for Datalog programs, but because they are not goal…
- Add To MetaCart
-
Automated Termination Analysis for Logic Programs
- …University of California Santa Cruz Automated Termination Analysis for Logic Programs A…
- Cited by 1 (0 self) – Add To MetaCart
-
Combining Scheduling Strategies in an SLG Evaluation
- … Tabled evaluation ensures termination for Datalog programs by distinguishing calls to tabled subgoals…
- Add To MetaCart
-
Incremental and demand-driven points-to analysis using logic programming
- … tabled resolution terminate for datalog programs, and moreover, evaluate queries with polynomial data…
- Cited by 11 (6 self) – Add To MetaCart
-
Combining Scheduling Strategies in Tabled Evaluations
- …,warreng@(email omitted); 1 Introduction Tabled evaluations ensure termination for Datalog programs by distinguishing calls…
- Cited by 2 (0 self) – Add To MetaCart
-
Extending Homeomorphic Embedding in the Context of Logic Programming
- … terminating Datalog programs, the quicksort or even the mergesort program (the latter poses problems to some…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 8.
