1. J. Blakeley, N. Coburn, and P. Larsen, ?Updating derived relations: Detecting irrelevant and autonomously computable updates,? ACM Transaction and Database Systems, vol. 14, no. 3, pp. 369?400, 1989.
2. A. Alashur, S. Su, and H. Lam, ?A rule-based language for deductive object-oriented databases,? in Proc. Sixth Int. Conference on Data Engineering, Los Angeles, 1990. pp. 58?67.
3. H. Decker, ?Integrity enforcement on deductive data-bases?, in L. Kerschberg, Proc. First Int. Conf. on Expert Data Base Systems. Menlo Park: Benjamin/Cummings Publishing Company, pp. 381?396, 1987.
4. R. Kowalski, F. Sadri, and P. Soper, ?Integrity checking in deductive databases,? in Proc. Int. Conf. on Very Large Databases, Brighton, 1989, pp. 61?69.
5. P. Sheu, and W. Sull, ?Knowledge management in deductive object bases,? Data & Knowledge Engineering, vol. 5, no. 1, pp. 29?58, 1990.