Please use this identifier to cite or link to this item:
|Title:||Generalized query answering in disjunctive databases using minimal model generation||Authors:||Yahya, Adnan||Issue Date:||Sep-1996||Publisher:||ResearchGate||Abstract:||Minimal models underly one of the major semantics for disjunctive theories and a substantial research e ort was directed at minimal model reasoning. In this paper we investigate the process of generalized query answering under the minimal model semantics for the class of Disjunctive Deductive Databases. We cover several classes of queries that are of practical importance for database maintenance. Answers that are true in al l and those that are true in some minimal models of the theory are considered and their monotonicity properties are discussed. Our approach is based on having the generalized query induce an order on the models returned by a sound and complete minimal model generating procedure. This makes it possible to introduce re nements to the query answering process such as allowing the speci cation of conditions under which a query becomes derivable from the database and checking for answer minimality.||URI:||http://hdl.handle.net/20.500.11889/2095|
|Appears in Collections:||Fulltext Publications|
Show full item record
Files in This Item:
|Generalized Query Answering in Disjunctive Databases Using Minimal Model Generation.pdf||451.75 kB||Adobe PDF||View/Open|
checked on Nov 17, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.