Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries


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


  • Presentations referencing similar topics