Chris J. Date, ``An Introduction to Database Systems'',
Addison-Wesley Publishers, 8th Edition, July 2003.
Tim Denvir, "Introduction to Discrete Mathematics for Software
Engineering'', MacMillan Publishers, 1986.
Douglas B. Lenat and R.V. Guha, ``Building Large Knowledge-Based
Systems: Representation and Inference in the Cyc Project'',
Addison-Wesley Publishers, February 1990.