Skip to Main content Skip to Navigation
Theses

Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données

Xavier Delannoy 1
1 OSIRIS
TIMC - Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
Abstract : This thesis is made of two contributions to the sudy of databases : (i) the first contribution concerns the improvement of the understanding, by means of formal study, of the tension between the functionalities of consistency and confidentiality. This tension allows us in some situations to use integrity constraints (consistency) to reveal secrets (confidentiality) and therefore perform a fraud. To begin with, the study states a general framework by giving a formal definition of the notions of secret, revelation and fraud. Then, a particular and original occurrence of the tension is formalised following a method inspired from the programming methods. This occurrence proves to be connected with Galois lattices. (ii) the second contribution concerns the specification and the implementation of an original functionality : classification of objects on the basis of their history. The study successively answers the three questions : what is the history of an object, how do we express properties on object histories, and finally how do we check them efficiently ? Expression is done by temporal logic formulas and checking relies on their successive translation to regular expression and then to finite state automaton. The implementation carried out uses this classification scheme to classify a posteriori objects of the prototype-based language NewtonScript.
Document type :
Theses
Complete list of metadatas

Cited literature [121 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00004936
Contributor : Thèses Imag <>
Submitted on : Friday, February 20, 2004 - 3:51:07 PM
Last modification on : Thursday, November 19, 2020 - 3:56:09 PM
Long-term archiving on: : Friday, April 2, 2010 - 8:40:48 PM

Identifiers

  • HAL Id : tel-00004936, version 1

Collections

Citation

Xavier Delannoy. Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨tel-00004936⟩

Share

Metrics

Record views

1131

Files downloads

893