With the structure and behavior encapsulated in object, object database supplies large complex applications with better modeling capacity and implementation utilities. Deductive object database results from the integration of object and logic. However, deductive object database focuses more on object structure description and less on object behavior description. In the present paper, the authors study the object dynamic behavior analyze the interaction among inheritance, overriding and transaction, and gives a language called TOL (transaction object base language). The elementary actions in TOL are analyzed first, and then a model semantics is built based on path structure for transactions.