Title: Deductive and Object-Oriented Databases