Please use this identifier to cite or link to this item:
Title: Duality for goal-driven query processing in disjunctive deductive databases
Authors: Yahya, Adnan
Issue Date: Jan-2002
Publisher: ResearchGate
Abstract: Bottom-up query answering procedures tend to explore a much larger search space than is strictly needed. Top-down processing has a more focused search space which can result in more e cient query answering. We establish a strong connection between model generation and clause derivability that allows us to use a bottom-up procedure for evaluating queries in a top-down fashion. The approach requires no extensive rewriting of the input theory and introduces no new predicates. Rather, it is based on a certain duality principle for interpreting logical connectives. It is achieved by reversing the direction of implication arrows in the clauses representing both the theory and the negation of the query. The application of a generic bottom-up procedure to the transformed clause set results in top-down query answering. We give meaning to this transformation and show how it can be utilized for re ned query answering by specifying the minimal conditions (weakest updates) under which the query becomes derivable from the theory.
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat
Duality_for_Goal-Driven_Query_Processing_in_Disjun.pdf330.62 kBAdobe PDFView/Open
Show full item record

Page view(s)

Last Week
Last month
checked on Jun 27, 2024


checked on Jun 27, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.