1. Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: McLeod, D., Sacks-Davis, R., Schek, H.-J. (eds.) 16th International Conference on Very Large Data Bases, pp. 566–577. Morgan Kaufmann, San Francisco (1990)
2. Chakravarthy, U.S., Grant, J., Minker, J.: Foundations of semantic query optimization for deductive databases. In: Foundations of Deductive Databases and Logic Programming, pp. 243–273. Morgan Kaufmann, San Francisco (1988)
3. Lecture Notes in Computer Science;H. Christiansen,2004
4. Decker, H.: Translating advanced integrity checking technology to SQL. In: Database integrity: challenges and solutions, pp. 203–249. Idea Group Publishing, USA (2002)
5. Decker, H., Celma, M.: A slick procedure for integrity checking in deductive databases. In: Van Hentenryck, P. (ed.) ICLP 1994, pp. 456–469. MIT Press, Cambridge (1994)