A temporal behavioral object model for object-oriented databases

Existing temporal databases focus on the management of data history. However, it may be required to know how users, procedures and policies affect the data value changes in decision support system and database debugging or maintaining systems. If so, the object model needs to incorporate the behavioral modeling of data objects. We propose a model using finite state machines, method signatures and a method invocation network to model the behavior between objects. A type system is also devised to enforce the substitutability of subtype objects in the class inheritance hierarchy. A decision maker or database application developer can query the effect of events by using the proposed object model