A transformation technique for datalog programs based on non-deterministic constructs
Ημερομηνία
2001Συγγραφέας
Γεργατσούλης, Μανώλης
Ροντογιάννης, Παναγιώτης
Ποτίκας, Πέτρος
Gergatsoulis, Manolis
Rondogiannis, Panos
Potikas, Petros
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
Recently, a novel transformation technique for Datalog programs, called the branching-time transformation, was introduced by the authors. 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. One of the novel characteristics of the proposed approach is that the target language is DatalognS extended with choice predicates, a form of non-deterministic construct that was originally introduced in the area of intensional logic programming.
Collections
- Περιοδικά, εφημερίδες [1351]