Searching for "On Termination of Datalog Programs." – sorted by Relevance.
-
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

