Règles de mise à jour dans les bases de données

Update rules in databases

• Auteur / Autrice : Sofian Maabout
• Direction : Nicole Bidoit-Tollu
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1997
• Etablissement(s) : Paris 13

Résumé

Dans cette these, nous etudions l'integration des regles de mise a jour (m. A. J) dans les bases de donnees. Une regle de m. A. J est un cas particulier des regles eca (evenement, condition, action) des bases de donnees actives: les evenements sont reduits aux operations d'insertion et de suppression, les conditions sont des requetes sur la base et les actions sont elles aussi des insertions ou des suppressions. Pour definir la semantique de ces regles, nous utilisons la semantique bien fondee des programmes logiques. Ainsi, une regle de m. A. J n'est rien d'autre qu'une regle de datalog#^ qui permet de deduire des m. A. J lorsque certains evenements et certaines conditions sont verifies. Nous montrons comment utiliser ce type de regles dans le cadre de la maintenance des contraintes d'integrite. Dans ce contexte, nous considerons deux types de contraintes: les contraintes statiques et les contraintes de transition