Browsing 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
(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 ...