|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 8 gevonden artikelen
| Titel: |
Query Compilation under the disjunctive well-founded semantics |
| Auteur: |
Chris A. Johnson |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 62 (2004) nr. 3-4 pagina's 343-368 |
| Jaar: |
2004-11-30 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 8 gevonden artikelen
| << vorige | volgende >> |