Applicabilité du critère d'epsilon sérialisabilité pour les transactions temps réel

Emna Bouazizi (1) , Bruno Sadeg (1, 2) , Claude Duvallet (1, 2)

1 LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
2 RI2C - LITIS - Equipe Réseaux d'interactions et Intelligence Collective

Le critère de sérialisabilité, reconnu comme le critère de correction des transactions dans les SGBD (Systèmes de Gestion de Bases de Données) traditionnels, est difficilement applicable dans un contexte temps réel. Ce critère s'avère trop strict pour l'exécution des transactions et pour l'accès aux données temps réel. L'epsilon-sérialisabilité est un critère de correction qui semble davantage adapté aux SGBDTR (SGBD Temps Réel) car il permet de relaxer la sérialisabilité lors du traitement des transactions temps réel au détriment de la cohérence stricte des résultats et des données. Dans beaucoup d'applications actuelles, ceci n'est pas très pénalisant à condition que cette incohérence soit bornée et contrôlée. On utilise pour cela des algorithmes de contrôle de divergence qui s'appuient sur le critère d'epsilon-sérialisabilité. L'objectif de cet article est d'étudier une adaptation du concept de l'epsilon sérialisabilité pour les SGBDTR.

Domaines: Base de données [cs.DB]

Emna Bouazizi, Bruno Sadeg, Claude Duvallet. Applicabilité du critère d'epsilon sérialisabilité pour les transactions temps réel. Informations, Savoirs, Décisions, Médiations - Special Issue of The 8th MCSEAI'04, 2005, 19, 9 p. ⟨hal-00442322⟩