|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 7 of 8 found articles
| Title: |
Query Compilation under the disjunctive well-founded semantics |
| Author: |
Chris A. Johnson |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 62 (2004) nr. 3-4 pages 343-368 |
| Year: |
2004-11-30 |
| Contents: |
A top-down method is presented for compiling queries in unstratified propositional disjunctive deductive databases under the disjunctive well-founded semantics. Compilation entails the construction of a set of compilation trees, and the run-time processing of the compiled query then amounts to checking that some such tree can be extended within the extensional database to yield a tree that encapsulates a proof of the original query. Issues surrounding the extension of our techniques to the first order level are discussed. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 7 of 8 found articles
| << previous | next >> |