Search
Now showing items 1-2 of 2
Finding equivalent rewritings in the presence of arithmetic comparisons
(2006)
The problem of rewriting queries using views has received significant attention because of its applications in a wide variety of data-management problems. For select-project-join SQL (a.k.a. conjunctive) queries and views, ...
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 ...