
728
Subject Index
background of,
1
-4
circumscription related to,
7
constraints in, 7
default reasoning and, 10
deleting data in, 7-8, 11
disjunctive consequents in,
6
fundamental issues in, 7-9
future directions in,
11
-12
Horn, 4
implementations of, 7-9
indefinite data in, 4
indefinite. See Indefinite
deductive databases
integrity constraints in. See
Integrity constraints
intelligent answers in, 7
large, 12
model-theoretic approach
to,
193-194
negation in. See Negation
negative premises in, 6
nonmonotonic reasoning
and, 10
null values in, 4
queries in, 7-8
query optimization for, 7, 9
recursive axioms in, 8
semantic information in, 12
semanti ...