Updating deductive databases : a probabilistic approach | |
| Author | Restificar, Angelo dela Cruz |
| Call Number | AIT Thesis no. CS-92-22 |
| Subject(s) | Logic programming Logic |
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | A probabilistic deductive database (pf-ddb) is designed over a probabilistic framework proposed in NG and SUBRAHMANIAN (1991). Following TOMASIC (1989) and DECKER (1990) an update procedure for view updating is formulated for pf-ddb using derivation trees. Procedures for finding the best minimal transaction set for deletion and finding the first-best transaction for insertion are proposed. The procedures are proved to be sound and complete. Furthermore, a method to control the change in the database is proposed. This simple method enables the minimization of the acquisition of views and the minimization of their loss. Similarities in updating and diagnosing are pointed out in the later chapter. It is shown that finding a transaction set for inserting a view into the database is similar to finding an explanation for an observation. |
| 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 ;Kanchana Kanchanasut; |
| Scholarship Donor(s) | Government of Australia; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1992 |