Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Static Filtering for Stratified Programs
- Authors
- Byeong-Mo Chang; Kwang-Moo Choe; Taisook Han
- Issue Date
- Oct-1993
- Publisher
- Elsevier BV
- Citation
- Information Processing Letters, v.47, no.5, pp 237 - 244
- Pages
- 8
- Journal Title
- Information Processing Letters
- Volume
- 47
- Number
- 5
- Start Page
- 237
- End Page
- 244
- ISSN
- 0020-0190
1872-6119
- Abstract
- We extend static filtering in [8], 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 the 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.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - 공과대학 > 소프트웨어학부 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.