Disjunctive deductive databases.

Abstract

by Hwang Hoi Yee Cothan.Thesis (M.Phil.)--Chinese University of Hong Kong, 1996.Includes bibliographical references (leaves 68-70).Abstract --- p.iiAcknowledgement --- p.iiiChapter 1 --- Introduction --- p.1Chapter 1.1 --- Objectives of the Thesis --- p.1Chapter 1.2 --- Overview of the Thesis --- p.7Chapter 2 --- Background and Related Work --- p.8Chapter 2.1 --- Deductive Databases --- p.8Chapter 2.2 --- Disjunctive Deductive Databases --- p.10Chapter 2.3 --- Model tree for disjunctive deductive databases --- p.11Chapter 3 --- Preliminary --- p.13Chapter 3.1 --- Disjunctive Logic Program --- p.13Chapter 3.2 --- Data-disjunctive Logic Program --- p.14Chapter 4 --- Semantics of Data-disjunctive Logic Program --- p.17Chapter 4.1 --- Model-theoretic semantics --- p.17Chapter 4.2 --- Fixpoint semantics --- p.20Chapter 4.2.1 --- Fixpoint operators corresponding to the MMSpDD --- p.22Chapter 4.2.2 --- "Fixpoint operator corresponding to the contingency model, CMP" --- p.25Chapter 4.3 --- Equivalence between the model-theoretic and fixpoint semantics --- p.26Chapter 4.4 --- Operational Semantics --- p.30Chapter 4.5 --- Correspondence with the I-table --- p.31Chapter 5 --- Disjunctive Deductive Databases --- p.33Chapter 5.1 --- Disjunctions in deductive databases --- p.33Chapter 5.2 --- Relation between predicates --- p.35Chapter 5.3 --- Transformation of Disjunctive Deductive Data-bases --- p.38Chapter 5.4 --- Query answering for Disjunctive Deductive Data-bases --- p.40Chapter 6 --- Magic for Data-disjunctive Deductive Database --- p.44Chapter 6.1 --- Magic for Relevant Answer Set --- p.44Chapter 6.1.1 --- Rule rewriting algorithm --- p.46Chapter 6.1.2 --- Bottom-up evaluation --- p.49Chapter 6.1.3 --- Examples --- p.49Chapter 6.1.4 --- Discussion on the rewriting algorithm --- p.52Chapter 6.2 --- Alternative algorithm for Traditional Answer Set --- p.54Chapter 6.2.1 --- Rule rewriting algorithm --- p.54Chapter 6.2.2 --- Examples --- p.55Chapter 6.3 --- Contingency answer set --- p.56Chapter 7 --- Experiments and Comparison --- p.57Chapter 7.1 --- Experimental Results --- p.57Chapter 7.1.1 --- Results for the Traditional answer set --- p.58Chapter 7.1.2 --- Results for the Relevant answer set --- p.61Chapter 7.2 --- Comparison with the evaluation method for Model tree --- p.63Chapter 8 --- Conclusions and Future Work --- p.66Bibliography --- p.6