𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Minimal model generation for refined answering of generalized queries in disjunctive deductive databases

✍ Scribed by Adnan H. Yahya


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
331 KB
Volume
34
Category
Article
ISSN
0169-023X

No coin nor oath required. For personal study only.

✦ Synopsis


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). The advanced 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 all and those that are true in some minimal models of the theory. We address the issue of answering positive queries through the construction of the minimal model state of the DDDB, using a minimal model generating procedure. The re®nements allowed by the procedure include isolating a minimal component of a disjunctive answer, the speci®cation of possible updates to the theory to enable the derivability of certain queries and deciding the monotonicity properties of answers to dierent classes of queries.


📜 SIMILAR VOLUMES