|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 5 gevonden artikelen
| Titel: |
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs |
| Auteur: |
Potikas, Petros Rondogiannis, Panos Gergatsoulis, Manolis |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 72 (2006) nr. 4 pagina's 485-527 |
| Jaar: |
2006-08-11 |
| Inhoud: |
The branching-time transformation is a recent technique for optimizing Chain Datalog programs. In this paper we propose a significant extension of the branching-time transformation which we believe opens up a promising new direction of research in the area of value-propagating Datalog optimizations. More specifically, the proposed transformation can handle more general programs that allow multiple consumptive occurrences of variables in the bodies of clauses. This extension is achieved by using as target language the temporal logic programming formalism Datalog_{nS} enriched with choice predicates (a non-deterministic construct that was originally introduced in the area of intensional logic programming). We demonstrate the correctness of the transformation and propose several optimizations that can be applied to the target code. Moreover, we define a bottom-up proof procedure that applies to the target programs and demonstrate that it always terminates (despite the fact that the Herbrand base of these programs is generally infinite). |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 5 gevonden artikelen
| volgende >> |