Please use this identifier to cite or link to this item:
http://hdl.handle.net/20.500.11889/8238
Title: | Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects | Authors: | Yahya, Adnan | Keywords: | Generalized Query;Database management;Database design;Deductive databases;Disjunctive databases;Commonsense reasoning - Automation;Artificial intelligence - Mathematics Logic, Symbolic and mathematical - Data processing | Issue Date: | 1997 | Abstract: | Generalized queries are de ned as sets of clauses in implication form. They cover several tasks of practical importance for database maintenance such as answering positive queries, computing database completions and integrity constraints checking. We address the issue of answering generalized queries under the minimal model semantics for the class of Disjunctive Deductive Databases (DDDBs). Our approach is based on having the query induce an order on the models returned by a sound and complete minimal model generating procedure. We consider answers that are true in al l and those that are true in some minimal models of the theory and investigate the monotonicity properties of the different classes of queries and answers. | URI: | http://hdl.handle.net/20.500.11889/8238 |
Appears in Collections: | Fulltext Publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Generalized query answering in disjunctive deductive databases Procedural and nonmonotonic aspects.pdf | 333.73 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.