Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries

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… (More)
DOI: 10.1007/3-540-58907-4_30

Topics

  • Presentations referencing similar topics