Semantics Based Implementation of Flexible Execution Models for Active Database Systems

Cet article pr esente notre approche pour la construction de mod eles d'ex ecution de r egles pour bases de donn ees actives. Il introduit un cadre a la fois informel et formel pour la conception et le d eveloppement de moteurs d'ex ecution de r egles adapt es a des utilisations particuli eres des r egles dans les applications (par exemple pour la v eriication de contraintes, le calcul de valeurs, la gestion de versions, etc.). Le coeur de notre approche est un mod ele d'ex ecution param etrique et sa s emantique fonctionnelle qui peut ^ etre utilis ee eeectivement comme une sp eciication implantable (une sorte de standard) de moteurs d'ex ecution exibles et portables car ind ependants des mod eles de donn ees et d' ev enements propos es. Le mod ele d enomm e FL'ARE est bas e sur des dimensions caract erisant l'ex ecution de chacune des r egles consid er ees isol ement et de modules de r egles. Les dimensions sont organis ees en constantes et param etres selon trois niveaux d'utilisation (pour une r egle, pour les r egles d'un module, pour divers modules). Une telle approche apporte la exibilit e en autorisant l'int egration de dii erents modules dans la m^ eme application chacun d'entre eux ayant sa propre s emantique d'ex ecution li ee a l'utilisation que l'on souhaite pour ses r egles. Abstract This article presents an approach to build generic rule execution models for active databases. It introduces a framework that provides both informal and formal supports to design and develop rule execution engines well adapted to diierent uses of rules and to predict and understand the resulting behaviour of active applications. The framework may be seen as an implementable speciication (a standard). The core of our approach is a parametric execution model and its functional semantics that can be used as a speciication for the implementation of exible and portable execution engines whatever the data models and the event models of the underlying DBMS are. The model called FL'ARE is based on dimensions characterizing the execution of rules and rule modules. Dimensions have been organized as constants and parameters into three layers. Such an approach allows the integration of heterogeneous rule modules within the same application, each of them having its own semantics based on the service it is intended to support.