
Subject Index
Index Note: Page numbers in boldface indicate definitions.
Abstract interpreters,
565-567
Acceptability of translators,
386-391
Active rules, 279, 283, 284,
287
Acyclic relation, 574
Add set (AS), 379
Add translators, 366, 381,
388-389
Additions in databases
as DLP operations, 364
of integrity constraints, 341
updates as, 325-331
Adorned predicate, 488
Adorned rule system, 464
Adorned rules, 468-469
Adornments, 464
Aho-Ullman algorithm, 440,
458-463
AI (artificial intelligence), 6,
10,
14, 548
Alexandre strategy, 469
Algorithms
Aho-Ullman, 440,
458-463
anti-unification, 609-613
DATALOG program min-
imization, 672-673, 691,
695-69 ...