Browsing Βιβλιοθηκονομία και Επιστήμη της Πληροφόρησης / Library and Information Science by Subject "Non-deterministic Constructs"

Now showing items 1-1 of 1

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

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Ποτίκας, Πέτρος; Gergatsoulis, Manolis; Rondogiannis, Panos; Potikas, Petros (2006)
      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 ...