
Chapter
11
: Compiling the GCWA 437
References
1. Apt, K., Blair, H., and Walker, A. [1988] Towards a Theory of Declarative
Knowledge, in Foundations of Deductive Databases and Logic Programming (J.
Minker, Ed.), Morgan Kaufmann Publishers, Los Altos, CA, 89-148.
2.
Bossu, G. and Siegel, P. [1985] Saturation, Nonmonotonic Reasoning and the
Closed-World Assumption, Artificial Intelligence 25,
13-63.
3.
Bancilhon, F. and Ramakrishnan, P. [1987] An Amateur's Introduction to Recur-
sive Query Processing Strategies, in Proc. ACM-SIGMOD Conference on
Management of Data, Washington, DC, 16-52.
4.
Chang, C. L. [1981] On Evaluation of Queries Containin ...