ΛΗΚΥΘΟΣ
    • English
    • Ελληνικά
  • English 
    • English
    • Ελληνικά
  • Login
View Item 
  •   LEKYTHOS Home
  • Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science
  • Eλληνική BIβλιοθηκονομική BAση (ΕΒΙΒΑ)
  • Περιοδικά, εφημερίδες
  • View Item
  •   LEKYTHOS Home
  • Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science
  • Eλληνική BIβλιοθηκονομική BAση (ΕΒΙΒΑ)
  • Περιοδικά, εφημερίδες
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A value-propagating transformation technique for Datalog programs based on non-deterministic constructs

Thumbnail
Date
2006
Author
Γεργατσούλης, Μανώλης
Ροντογιάννης, Παναγιώτης
Ποτίκας, Πέτρος
Gergatsoulis, Manolis
Rondogiannis, Panos
Potikas, Petros
Metadata
Show full item record
Abstract
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 DatalognS 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).
URI
http://hdl.handle.net/10797/13667
Collections
  • Περιοδικά, εφημερίδες [1348]

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback