Designing a New Assertion Constraints Model for Mobile Databases

In this paper a new assertion constraint model is proposed and implemented. The model is designed to enforce and maintain the integrity constraints in mobile database and object data model environments. It has an object assertion model for integrity constraints which it is used to create classes and collect attributes and their constraints that are derived from multiple composition or inheritance hierarchies. Also it has a compile-time model which keeps the derivation path along with the attributes' relationships. Furthermore, the run-time model enforces integrity constraints, enforcing the logical integrity constraints during the run-time. And a new technique is designed to check the object metadata to detect the object violation before it occurs. However, the model is implemented and tested over set of definitions that check attribute values validity and objects for object-oriented and mobile databases.