| Author | Annamalai, Muthukkaruppan |
| Call Number | AIT Thesis no. CS-92-13 |
| Subject(s) | Logic programming
|
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | The problem of view update in disjunctive database using abductive approach is studied.
As usual, the clauses in the database are partitioned into two distinct components, the intensional
database (IDB), and the extensional database (EDB). The incomplete data in the EDB is a
collection of disjunctive facts.
This work is divided into two parts. In the first part we study those deductive databases
whose IDB is a Normal program. The second part deals with incompletely defined views as well.
Here, the IDB is a general stratified disjunctive program.
The view update is ·carried out in two steps. At first, the translation step attempts to find
a consistent set of hypotheses, that could achieve the view update request. Next, the transaction
step draws appropriate transactions on the EDB, entailing the assumptions in the hypotheses
generated in the translation step. Consequently, the resulting EDB satisfies the update request.
The update procedures are formally defined and are shown to be sound and complete with
respect to Stable Model semantics. |
| Year | 1992 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung ; |
| Examination Committee(s) | Huynh Ngoc Phien ;Sadananda, Ramakoti |
| Scholarship Donor(s) | MARA Institute of Technology ; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |