DC Field | Value | Language |
---|---|---|
dc.contributor.author | CHANG, BM | ko |
dc.contributor.author | Choe, Kwang-Moo | ko |
dc.contributor.author | Han, Taisook | ko |
dc.date.accessioned | 2013-02-25T09:21:03Z | - |
dc.date.available | 2013-02-25T09:21:03Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1993-10 | - |
dc.identifier.citation | INFORMATION PROCESSING LETTERS, v.47, no.5, pp.237 - 244 | - |
dc.identifier.issn | 0020-0190 | - |
dc.identifier.uri | http://hdl.handle.net/10203/61128 | - |
dc.description.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. | - |
dc.language | English | - |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | STATIC FILTERING ON STRATIFIED PROGRAMS | - |
dc.type | Article | - |
dc.identifier.wosid | A1993MB60000003 | - |
dc.identifier.scopusid | 2-s2.0-0027912348 | - |
dc.type.rims | ART | - |
dc.citation.volume | 47 | - |
dc.citation.issue | 5 | - |
dc.citation.beginningpage | 237 | - |
dc.citation.endingpage | 244 | - |
dc.citation.publicationname | INFORMATION PROCESSING LETTERS | - |
dc.contributor.localauthor | Choe, Kwang-Moo | - |
dc.contributor.localauthor | Han, Taisook | - |
dc.contributor.nonIdAuthor | CHANG, BM | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | APPLICATIVE (LOGIC) PROGRAMMING | - |
dc.subject.keywordAuthor | STRATIFIED PROGRAMS | - |
dc.subject.keywordAuthor | QUERY OPTIMIZATION | - |
dc.subject.keywordAuthor | STATIC FILTERING | - |
dc.subject.keywordAuthor | SYSTEM GRAPHS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.