Deductive and Object-Oriented Databases