Cocktail de dépendances

par Serge Abiteboul

Thèse de doctorat en Informatique

Sous la direction de Directeur de thèse inconnu.

Soutenue en 1985

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) (autre partenaire) .


  • Résumé

    Présentation et comparaison des différentes méthodes de spécification de contraintes d'intégrité dans les bases de données. Insistance particulière sur les approches nouvelles. Cinq grandes approches de spécification de dépendances sont distinguées. La première, la plus classique, utilise la logique des prédicats du premier ordre. La seconde est algébrique, et consiste à exprimer une dépendance comme une inclusion entre deux requêtes. Dans la troisième approche, les états légaux de la base sont les états accessibles en utilisant des mises à jour permises. La quatrième (approche synthétique) est fondée sur le concept de famille dépendance. La dernière approche consiste à intégrer la sémantique à l'intérieur même du modèle de données.

  • Titre traduit

    Cocktail of dependences


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (91 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 84-91

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1985)262
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.