Study of termination of a set of active rules in an object oriented DBMS at the conceptual level

In the field of databases, the present trend is to enrich the stored data with the behavioural knowledge associated with these data. This results especially from the development of the active rules within the databases. However, the conception of a set of rules raises difficulties: properties like termination or confluence are undecidable in the general case. This paper expounds a model of representation of the active rules at the conceptual level in an object oriented DBMS using the UML notation. The proposed representation is used to deduce properties on the termination of a set of rules