Skip to Main content Skip to Navigation
Theses

Types abstraits et bases de données‎‎ : formalisation de la notion de partage et analyse statique des contraintes d'intégrité

Résumé : Une base de données est au service de plusieurs catégories d'utilisateurs ayant chacune sa vision personnelle et évolutive des différentes sortes d'objets d'un univers. L'application systématique du concept d'abstraction a permis de dégager la notion d'objet pouvant être vu selon différentes facettes, appartenir à plusieurs ensembles et/ou relations, tout en demeurant unique. Ces objets sont spécifiés à l'aide de p-types, concept défini dans le cadre des types abstraits algébriques. La définition d'un p-type est modulaire et évolutive; une vue du p-type est caractérisée par des fonctions attributs et des contraintes d'intégrité. Les contraintes étudiées sont les dépendances entre valeurs d'attributs d'une occurrence d'un p-type (DIA) et les dépendances inter-objets (DIO). L'analyse statique de ces contraintes permet de garantir leur cohérence et de minimiser les vérifications dynamiques
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00312519
Contributor : Thèses Imag <>
Submitted on : Monday, August 25, 2008 - 2:19:08 PM
Last modification on : Friday, November 6, 2020 - 4:15:06 AM
Long-term archiving on: : Thursday, June 3, 2010 - 6:49:36 PM

Identifiers

  • HAL Id : tel-00312519, version 1

Collections

Citation

Ana Maria Sales. Types abstraits et bases de données‎‎ : formalisation de la notion de partage et analyse statique des contraintes d'intégrité. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1984. Français. ⟨tel-00312519⟩

Share

Metrics

Record views

218

Files downloads

190