
Subject Index 743
Sort-merge join algorithm,
534
Sound resolution, 2, 3
Soundness
of the DLP interpreter, 379
of fair SLD resolution, 3
formulation of, 3
intuitionistic, 55, 59
of negation as failure, 55
of SLD resolution, 57
of SLDNF resolution,
81-84
Spanning tree, 576
S-queries,
305-306
SS(P) success set, 633
Stage function, 547, 548,
550,
557
STAGE(f(n)) function, 558,
565-567, 571
Standard interpretation
decidable, 125
of stratified programs,
107-108
Standard models,
221,
230,
234
M(D,L),
227
M
p
. See M
p
standard model
Stanford University, 150,
187,
692
State transitions, 706
Statements in databases, 219
States, 365, 370, 374
of a database ...