Date: 02 Jun 2005

Increment boundedness and nonrecursive incremental evaluation of datalog queries

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Given a recursive (datalog) query, the nonrecursive incremental evaluation approach uses nonrecursive (datalog) programs to compute the difference of the answers to the query against successive databases between updates. The mechanism used in this approach is called a “First-Order Incremental Evaluation System” (FOIES). We show that for two large classes of datalog queries, called “generalized (weakly) regular queries”, FOIES always exist. We also define “increment boundedness” and its variations, which generalize boundedness. Increment bounded queries are shown to have FOIES of certain forms. We also relate increment boundedness to structural recursion, which was proposed for bulk data types. We characterize increment boundedness using the “insertion idempotency”, “insertion commutativity”, and “determinism” properties of structural recursion. Finally, we show that the increment boundedness notions are undecidable and a decidable sufficient condition is given.

This author gratefully acknowledges support of Australian Research Council (ARC) through research grants and the Centre for Intelligent Decision Systems.
Work supported in part by NSF giants IRI-9109520 and IRI-9117094. Part of work was done while visiting the University of Melbourne with partial support from an ARC grant to G. Dong.