Possible Model Semantics for Disjunctive Databases
Proceedings of the First International Conference on Deductive and
Object-Oriented Databases (DOOD'89), pp. 369-383, North-Holland, 1989.
This paper presents a novel approach to the semantics of deductive databases.
The possible model semantics is introduced as
an alternative approach to the classical minimal model semantics.
The possible model semantics can distinguish both inclusive and exclusive
disjunctions, and provide a flexible mechanism for inferring negation
in disjunctive databases. The possible model semantics is characterized
by a new fixpoint semantics of disjunctive databases.
A proof procedure called the SLDp-resolution is presented and
shown to be sound and complete with respect to the possible model semantics.
Full Paper (gzipped postscript 69K)