Loading...
Please wait, while we are loading the content...
Similar Documents
Updates in Disjunctive Deductive Databases : A Minimal Model Based
| Content Provider | Semantic Scholar |
|---|---|
| Author | Electrical, Approach Adnan H. Yahya |
| Copyright Year | 1997 |
| Abstract | Extended Abstract Abstract. The issue of updates in Disjunctive Deductive Databases (DDDBs) under the minimal model semantics is addressed. We consider ground clause addition and deletion in a DDDB. The approach of this paper is based on manipulating the clauses of the theory to produce the required change to the minimal model structure necessary to achieve the clause addition/deletion update. First we deal with ground positive clause updates in ground DDDBs. Later we consider positive, then general , clause addition/deletion in the class of range restricted DDDBs. When we give more than one algorithm for a case we comment on the comparative merits and limitations of each. We use the freedom ooered by the multiple possibilities for achieving an update to select the one with the least change to the minimal model structure of the theory. We argue that such minimality is desirable if one interprets the minimal model structure as representing the possible states of the modeled world and therefore an update must aaect them minimally. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://home.birzeit.edu/eng/enee/yahya/extabs.ps |
| Alternate Webpage(s) | http://home.birzeit.edu/eng/enee/yahya/update.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
