| Author | Khanal, Shailesh |
| Call Number | AIT Thesis no. CS-93-03 |
| Subject(s) | Logic programming
|
| Note | A thesis Submitted in partial fulfillment of the requirements for the degree of Master of
Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | An Abductive method for checking integrity constraints in relational databases is proposed by
extending the simplification method. The simplified form of the integrity constraints computed by
the method can be evaluated before the actual update is performed. An update is regarded as an
action performed on a database state. The effects of updates on the database state and the
integrity constraints are represented in logic program. The simplified form of integrity constraint is
derived by using SLD-NF, partial evaluation and abduction. The soundness and completeness of
evaluating the simplified integrity constraints in the initial state, to ensure that the integrity
constraints are satisfied in the new state after the update, is established. |
| Year | 1993 |
| 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) | Sadananda, Ramakoti;Kanchana Kanchanasut; |
| Scholarship Donor(s) | Government of Finland; |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1993 |