Access Restriction

Author Yahya, Adnan H.
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Nonmonotonic Aspect ♦ Monotonicity Property ♦ Disjunctive Theory ♦ Introduction Minimal Model Semantics ♦ Database Completion ♦ Implication Form ♦ Body Negation ♦ Several Model Class ♦ Several Task ♦ Query Answering ♦ Minimal Model Semantics ♦ Positive Query ♦ Stable Model ♦ Minimal Model ♦ Practical Importance ♦ Complete Minimal Model ♦ Disjunctive Deductive Database ♦ Different Class ♦ Integrity Constraint ♦ Disjunctive Deductive ♦ Database Maintenance ♦ Generalized Query
Description . Generalized queries are defined 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 all 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. 1 Introduction Minimal model semantics was one of the first to be defined for disjunctive theories[12, 10]. Several model classes defined under other semantics, such as the perfect and stable models for theories with body negation, are subsets of the mini...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1997-01-01
Publisher Institution Proc. LPNMR'97. Springer, LNAI 1265