Static filtering on stratified programs (Q688228)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 440379
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Static filtering on stratified programs |
scientific article; zbMATH DE number 440379 |
Statements
Static filtering on stratified programs (English)
0 references
13 March 1994
0 references
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.
0 references
applicative logic programming
0 references
system graphs
0 references
static filtering
0 references
query optimization
0 references
stratified programs
0 references
0.737443745136261
0 references
0.7362817525863647
0 references
0.7282821536064148
0 references
0.7274052500724792
0 references
0.727383017539978
0 references
