Now showing items 1-2 of 2

    • 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 ...
    • 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 ...