Static filtering on stratified programs (Q688228)

We extend \textit{M. Kifer} and \textit{E. L. Lozinskii}'s [On complete time query optimization in deductive databased by means of static filtering, ACM Trans. Database Systems 15, No. 3, 385-426 (1990)] static filtering, a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static filters is formalized as a transformation so that the least fixed point of te transformation can be the static filters. The static filtering on stratified programs is shown to be complete with respect to the iterated fixed point semantics.