Transaction Safety in Deductive Object-Oriented Databases