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 change in decision support system, and database debugging or maintaining systems. Thereafter, the object model needs to incorporate the behavior modeling of data objects. We propose a model using finite state machine, method signature, and 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.