Abstract FR:

Cette these est faite de deux contributions a l'etude des bases de donnees : (i) la premiere contribution porte sur l'amelioration de la comprehension, par l'etude formelle, de la tension entre les fonctionnalites de coherence et de confidentialite. Cette tension permet, dans certaines situations, d'utiliser les contraintes d'integrite (coherence) pour reveler des secrets (confidentialite) et donc realiser des fraudes. L'etude fixe tout d'abord un cadre general de recherche en donnant une definition formelle des notions de secret, revelation et fraude. Puis, une occurrence particuliere, et originale, de tension est formalisee selon une methode inspiree des methodes de programmation. Cette occurrence s'est averee liee aux treillis de galois. (ii) la deuxieme contribution porte sur la specification et l'implementation d'une fonctionalite originale : le classement d'objets selon leur histoire. A cette fin, l'etude repond successivement aux trois questions : qu'est-ce que l'histoire d'un objet, comment exprimer des proprietes sur l'histoire des objets, et comment les verifier efficacement ? l'expression est realisee par des formules de logique temporelle et la methode de verification repose sur la traduction de ces formules en expressions regulieres puis en automates d'etats finis. L'implementation realisee utilise cette methode de classement pour classer a posteriori des objets du langage prototypique newtonscript.