A framework for deductive object-oriented database systems