A Deductive Extension for ODMG Compliant Object Databases