
Henschen and Park
DBs similar in spirit to compilation for Horn databases (Chang [1981],
Henschen and Naqvi [1984], Reiter [1978a]).
Indefinite
Databases and GCWA
Inference
In this paper, we use the following notations: Ρ and R, ... for arbitrary predi-
cate symbols; w, v, w,
JC,
... for vectors of variables; a, b, c, ... for vectors of
constants; CL for a clause; Κ for a ground clause; "DB \- β" for "Q is a
logical consequence of DB"; "DB \+- β" for "β is not a logical con-
sequence of DB"; "DB
HQCWA
iß" f°
r
'~ι Ô
can De
assumed by
GCWA"; and "DB
h/-Gc
WA
—iß" for "—\Q cannot be assumed by
GCWA." A clause may be written as a list of literals