skip to main content

Validation des transactions dans les bases de données : classes décidables et vérification automatique

Magnier, Nicolas ; Courcelle, Bruno

S.l. : s.n., 1998

Voir les exemplaires

  • Titre:
    Validation des transactions dans les bases de données : classes décidables et vérification automatique
  • Auteur: Magnier, Nicolas
  • Autre(s) auteur(s): Courcelle, Bruno
  • Sujets: Base de données;
    Preuve automatique;
    Preuve de programme;
    H-LOGICIEL
  • Description: Thèse de doctorat
    DANS CETTE THESE, ON INTRODUIT UN MODELE DE DONNEES RELATIONNEL POUR ETUDIER LE PROBLEME DE VALIDER DES TRANSACTIONS. DANS NOTRE CONTEXTE, VALIDER UNE TRANSACTION C'EST DEMONTRER QU'ELLE PRESERVE LA COHERENCE PAR RAPPORT A UNE SPECIFICATION STATIQUE, ET AU PREMIER ORDRE, DE L'INTEGRITE DES BASES DE DONNEES. NOUS AVONS DEFINI ET IMPLANTE UN SYSTEME, BASE SUR UNE EXTENSION DE LA CONSTRUCTION DE PLUS FAIBLE PRECONDITION, POUR VALIDER DES TRANSACTIONS DE CE MODELE DE FACON AUTOMATIQUE. LA PRINCIPALE ORIGINALITE DE CE MODELE RESIDE DANS SON LANGAGE DE TRANSACTIONS. IL PERMET EN EFFET D'EXPRIMER DES MISES A JOURS DE DOMAINE DE BASES DE DONNEES. EN PLUS DE LEUR INTERET POUR DEFINIR SIMPLEMENT LES TRANSFORMATIONS DE GRAPHES, NOUS AVONS MONTRE QU'ELLES PERMETTENT D'EXPRIMER SIMPLEMENT DES CREATIONS OU DES SUPPRESSIONS D'OBJETS DANS DES MODELES SEMANTIQUES. L'AUTRE CONTRIBUTION DE CE TRAVAIL EST LA MISE EN EVIDENCE DE QUATRE NOUVELLES CLASSES DECIDABLES DU PROBLEME DE PRESERVATION DANS LE CADRE DE NOTRE MODELE RELATIONNEL. AUCUNE DE CES CLASSES N'EST INCLUSE DANS L'UNE DES AUTRES. EN PARTICULIER, UNE DE CES CLASSES GENERALISE LA CLASSE MISE EN EVIDENCE PAR ABITEBOUL ET VIANU. DE PLUS, NOUS AVONS MONTRE QUE LA PRESENCE DE TRANSACTIONS QUI PEUVENT MODIFIER LE DOMAINE AFFECTE PEU LA DECIDABILITE DU PROBLEME. EN EFFET, TOUTES LES CLASSES QUE NOUS AVONS ETABLIES CONTIENNENT CE TYPE DE TRANSACTIONS. DE PLUS, ON MONTRE QUE NOTRE SYSTEME DE VALIDATION EXPERIMENTAL DECIDE (EN PARTICULIER) TOUTES CES CLASSES. CETTE PROPRIETE EST UN ATOUT MAJEUR PAR RAPPORT AUX SYSTEMES EXISTANTS. EN EFFET, DANS LES SYSTEMES PROPOSES, AUCUNE CARACTERISATION DE CE TYPE N'EST ETABLIE.
  • Éditeur: S.l. : s.n.
  • Date de publication: 1998
  • Format: 135 p ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré