Browsing by Subject "Logic Program Transformations"

Now showing items 1-1 of 1

    • A transformation technique for datalog programs based on non-deterministic constructs 

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