1. M.E. Adiba and B. G. Lindsay. Database snapshots. In Procs. of 6th VLDB, 1980.
2. D. Bitton, D.J. DeWitt, and C. Turbyfill. Benchmarking database systems, a systematic approach. In Procs. of 9th VLDB, 1983.
3. J.A. Blakeley, P. Larson, and F.W. Tompa. Efficiently updating materialized views. In Procs. of ACM-SIGMOD, 1986.
4. C. L. Chang and C. T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
5. C.M. Chen and N. Roussopoulos. Implementation and performance evaluation of the ADMS query optimizer. Technical Report CS-TR-3159, Dept. of Comp. Sci., University of Maryland, College Park, 1993.