Download or read book Contribution la gestion de la coh rence dans les bases de donn es orient es objets Application aux documents structur s written by Corinne Nadalin and published by . This book was released on 1994 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA REPRESENTATION ET LA MANIPULATION DE DOCUMENTS STRUCTURES DANS UNE BASE DE DONNEES ORIENTEES OBJET CONSTITUENT LE DOMAINE DANS LEQUEL S'INTEGRENT NOS TRAVAUX. NOUS TRAITONS EN PARTICULIER DEUX ASPECTS LIES A LA GESTION DE LA COHERENCE DANS LES BASES DE DONNEES ORIENTEES OBJET: D'UNE PART L'INTEGRATION DES CONTRAINTES D'INTEGRITE DANS LE SCHEMA D'UNE BASE DE DONNEES, ET D'AUTRE PART, LA GESTION DES ACCES CONCURRENTS SUR LES OBJETS DE LA BASE. NOUS PERCEVONS LES CONTRAINTES D'INTEGRITE COMME DES REGLES DE TYPE EVENEMENT-CONDITION-ACTION. LA GESTION DE CLASSES DE REGLES COMPOSITES PERMET D'EXPLOITER LE PRINCIPE D'HERITAGE DE REGLES ET AINSI DE REPONDRE DE FACON PARTIELLE AU PROBLEME DE REUTILISABILITE. LE GRAPHE D'HERITAGE DE REGLES FOURNIT EGALEMENT UNE STRATEGIE DE CONTROLE IMPLICITE EN FONCTION DE LA POSITION DES REGLES DANS LE GRAPHE. LA GESTION DES ACCES CONCURRENTS EST REALISEE DANS NOS TRAVAUX PAR LA MISE EN UVRE D'UN PROTOCOLE DE VERROUILLAGE DES OBJETS. NOUS AVONS ANALYSE LE PROTOCOLE DE VERROUILLAGE BASE SUR LES GRAPHES D'HERITAGE (MARTINEZ 92). SUR LA BASE DE CETTE CONTRIBUTION, NOUS AVONS FONDE LES PRINCIPES D'UN PROTOCOLE DE VERROUILLAGE SUR LES PROPRIETES D'UN GRAPHE DE COMPOSITION

Download or read book Contribution a la gestion de la coherence dans les bases de donnees orientees objets application aux documents structures written by Corinne Nadalin and published by . This book was released on 1994 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book COHERENCE DANS LES BASES DE DONNEES ORIENTEES OBJET written by PIERRE-YVES.. POLICELLA and published by . This book was released on 1996 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES BASES DE DONNEES CONSTITUENT LE SUPPORT INCONTOURNABLE DE NOMBREUX SYSTEMES D'INFORMATION. LA COMPLEXITE DES APPLICATIONS DE BASES DE DONNEES NECESSITE DES MECANISMES PUISSANTS POUR CONTROLER L'INTEGRITE DES DONNEES. CES MECANISMES UTILISENT GENERALEMENT UN ENSEMBLE D'ASSERTIONS APPELEES CONTRAINTES D'INTEGRITE. ELLES CORRESPONDENT A DES PROPRIETES QUI DEVRONT TOUJOURS ETRE VERIFIEES DANS LA BASE DE DONNEES. CES CONTRAINTES ONT POUR BUT DE GARANTIR LA SEMANTIQUE DES INFORMATIONS STOCKEES DANS LA BASE, C'EST-A-DIRE DE LES PROTEGER CONTRE DES MANIPULATIONS ERRONEES. LE BUT DE CETTE THESE EST DE PROPOSER UN SYSTEME DE GESTION DE CONTRAINTES D'INTEGRITE (SGC) DANS UN ENVIRONNEMENT ORIENTE OBJET. A L'HEURE ACTUELLE, AUCUN SYSTEME DE GESTION DE BASE DE DONNEES ORIENTES OBJET (SGBDOO) NE TIENT COMPTE DE L'ASPECT COMPORTEMENTAL DES OBJETS DANS LA DEFINITION DE CONTRAINTES D'INTEGRITE. NOTRE CONTRIBUTION SERA D'APPORTER UN ENSEMBLE DE SOLUTIONS PERMETTANT DE GERER CE TYPE DE CONTRAINTES ET PLUS GENERALEMENT DE PROPOSER UN SYSTEME DE GESTION DE CONTRAINTE DANS UN ENVIRONNEMENT ORIENTE OBJET. CE SYSTEME OFFRE TOUTES LES FONCTIONNALITES NECESSAIRES A LA GESTION DE CONTRAINTE. IL PERMET, LA DEFINITION DE CONTRAINTES EXPRIMEES DE MANIERE GLOBALE ET DECLARATIVE DE VERIFIER QUE L'ENSEMBLE DES CONTRAINTES N'EST PAS CONTRADICTOIRE, D'ASSURER DE MANIERE EFFICACE LE RESPECT DES CONTRAINTES LORS DES MISES A JOUR DES DONNEES DE LA BASE ET DE RETABLIR L'INTEGRITE LORSQUE CETTE DERNIERE EST MISE EN DEFAUT. LES SOLUTIONS PROPOSEES METTENT EN JEU DES MECANISMES COMPLEXE ET PRENNENT EN COMPTE DE L'ENSEMBLE DES PARTICULARITES DES MODELES ORIENTES OBJET TELLES QUE L'HERITAGE, LE SOUS-TYPAGE, LES METHODES, LA RESOLUTION TARDIVE AINSI QUE LES LIENS AVEC LA PERSISTANCE

Download or read book EVOLUTION DES SCHEMAS DANS UN SYSTEME DE GESTION DE BASES DE DONNEES ORIENTEES OBJETS written by TARIK.. BELDJILALI and published by . This book was released on 1997 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'EVOLUTION DU SCHEMA D'UNE BASE DE DONNEES ORIENTEES OBJETS (BDOO) RELEVE D'UNE STRATEGIE QUI DEPEND DE L'EXISTENCE OU NON D'OBJETS PERSISTANTS DANS LA BASE. ACTUELLEMENT LES SGBDOO POSENT TROP DE CONTRAINTES POUR PERMETTRE UNE EVOLUTION SOUPLE, SANS DOMMAGE POUR LES INSTANCES. POUR REPONDRE A CE PROBLEME NOUS DEFINISSONS UNE NOUVELLE CARACTERISTIQUE POUR LE MODELE OBJET, A SAVOIR LA HIERARCHIE MIXTE DONT LE BUT EST DE PRENDRE EN COMPTE L'EVOLUTION D'UNE BDOO DE FACON SOUPLE ET PERFORMANTE. LA HIERARCHIE MIXTE EST POSSIBLE GRACE AU MECANISME D'ABSTRACTION QUE CONSTITUE LA GENERALISATION AINSI QU'A D'HERITAGE INVERSE. POUR GERER UNE TELLE HIERARCHIE, NOUS AVONS INTRODUIT LA NOTION DE -SCHEMA CONSIDERE COMME L'ENSEMBLE DES TRANSFORMATIONS D'UN SCHEMA, SUITE A UNE OPERATION, QUI N'EST VALIDE QUE SI LA TRANSACTION QUI LE SUPPORTE SE TERMINE SANS INCOHERENCES. EN OUTRE, AFIN D'AUGMENTER LA PUISSANCE DE CONCEPTION ET AMELIORER L'ORGANISATION DES OBJETS, LE MODELE DE G* QUE NOUS PROPOSONS INCORPORE LA NOTION DE CLASSE ABSTRAITE, PERMETTANT AINSI DE PRENDRE EN COMPTE L'ASPECT EVOLUTIF DES APPLICATIONS EN PHASE POST-CONCEPTUELLE (PHASE D'EXPLOITATION). CETTE THESE DONNE LA DEFINITION DU MODELE G*, SES PROPRIETES COMMUNES AUX MODELES OO AINSI QUE CELLES QUI LUI SONT SPECIFIQUES. L'APPROCHE DE G* POUR LA MODIFICATION D'UN SCHEMA AINSI QUE SES OPERATIONS D'EVOLUTION SPECIFIQUES SONT PROPOSEES. LES PRINCIPALES PROPRIETES A VERIFIER POUR QU'UN SCHEMA SOIT COHERENT, ADAPTEES AU MODELE G* ET A SA HIERARCHIE MIXTE, SONT SYNTHETISEES. AUSSI, LES PROBLEMES DE COHERENCE DES OBJETS DE LA BD AINSI QUE CEUX LIES A LA COHERENCE STRUCTURELLE DES METHODES SONT TRAITES.

Download or read book PASCAL written by and published by . This book was released on 1994 with total page 964 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book EVOLUTION DE SCHEMAS DANS UN SYSTEME DE BASES DE DONNEES ORIENTE OBJET written by CHRISTINE.. DELCOURT CAVIER and published by . This book was released on 1992 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE CONTRIBUE A L'ELABORATION D'UN OUTIL DE MISE A JOUR DE SCHEMA POUR UN SYSTEME DE BASES DE DONNEES ORIENTE-OBJET. LES PROBLEMES A RESOUDRE POUR AVOIR UN MECANISME D'EVOLUTION DE SCHEMA SONT IDENTIFIES. COMPLETUDE ET COHERENCE SONT LES CARACTERISTIQUES ESSENTIELLES QU'UN OUTIL D'EVOLUTION DOIT SATISFAIRE. COMPLETUDE EST ATTEINTE QUAND UN SCHEMA COHERENT PEUT TOUJOURS ETRE CONSTRUIT A PARTIR D'UN AUTRE SCHEMA COHERENT. COHERENCE EST OBTENUE QUAND LA COHERENCE STRUCTURELLE DU SCHEMA ET DES OBJETS (RESPECT DU SCHEMA POUR LES CONTRAINTES IMPOSEES PAR LE MODELE ET COHERENCE DES OBJETS AVEC LEUR DESCRIPTION), ET LA COHERENCE DE COMPORTEMENT LIEE AU BON FONCTIONNEMENT DES METHODES SONT ASSUREES. UNE MISE A JOUR DE SCHEMA A UN EFFET SUR LE SCHEMA ET PARFOIS AUSSI SUR LES OBJETS ET METHODES, IL S'AGIT DONC D'ASSURER COHERENCE AU SCHEMA MODIFIE ET A SA BASE DE DONNEES. L'ETUDE MONTRE L'IMPORTANCE DE L'ETABLISSEMENT DES FONCTIONS DE MISES A JOUR DE SCHEMA POUR AVOIR COMPLETUDE, PUIS ANALYSE TOUT PARTICULIEREMENT LES PROBLEMES LIES A LA PRESERVATION DE LA COHERENCE STRUCTURELLE DE SCHEMA. DIVERSES STRATEGIES ASSURANT LA COHERENCE STRUCTURELLE DE SCHEMA SONT PROPOSEES. ELLES CONSIDERENT L'APPLICATION D'UNE A PLUSIEURS MISES A JOUR DE SCHEMA A LA FOIS. LES PROBLEMES CREES PAR LE GROUPEMENT DE MISES A JOUR DANS LA DETECTION D'INCOHERENCES STRUCTURELLES D'UN SCHEMA SONT AINSI MIS EN EVIDENCE: IL Y A UNE RELATION ENTRE L'ORDRE D'APPLICATION DES MISES A JOUR ET L'INTRODUCTION D'INCOHERENCES STRUCTURELLES DANS LES ETATS SUCCESSIFS D'UN SCHEMA EN COURS DE MODIFICATION

Download or read book Contr le de la coh rence dans les bases objets written by Hervé Martin and published by . This book was released on 1991 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse traite des problèmes de contrôle et de maintien de la cohérence dans les bases de données orientées objet. Nous proposons un modèle d'expression de contraintes s'appuyant sur le comportement des objets qui est modélisé par les méthodes. Un langage déclaratif a été défini pour l'expression de conditions portant sur les contextes d'activation et de validation des méthodes. Nous présentons également le prototypage de notre modèle de contrôle qui a été réalisé dans le cadre du SGBD O#2 développé à l'Inria au sein du GIP ALTAIR

Download or read book Evolution des schemas dans un systeme de gestion de bases de donnees orientees objets written by Tarik Beldjilali and published by . This book was released on 1997 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book METHODES POUR LA DECOUVERTE DE CONNAISSANCES A PARTIR D UNE BASE DE DONNEES SPATIALES ORIENTEE OBJET written by NARA.. MARTINI BIGOLIN and published by . This book was released on 1999 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOUS PRESENTONS DANS CETTE THESE UNE NOUVELLE METHODOLOGIE POUR LE PROCESSUS DE DECOUVERTE DE CONNAISSANCES A PARTIR D'UNE BASE DE DONNEES SPATIALES ORIENTEE OBJET. UN TEL PROCESSUS PART D'UNE BASE DE DONNEES, SELECTIONNE UN ENSEMBLE DE DONNEES PERTINENTES, PUIS EFFECTUE UN PRE TRAITEMENT DE CES DONNEES POUR LEUR PERMETTRE D'ETRE UTILISEES POUR CONSTRUIRE DE NOUVELLES CONNAISSANCES A L'AIDE D'ALGORITHMES D'APPRENTISSAGE AUTOMATIQUE DE L'INTELLIGENCE ARTIFICIELLE. NOTRE METHODOLOGIE S'ARTICULE AUTOUR DES TROIS DOMAINES CONSTITUTIFS DE CE PROCESSUS : LES BASES DE DONNEES, L'INTELLIGENCE ARTIFICIELLE ET LES SYSTEMES D'INFORMATION GEOGRAPHIQUE. DANS NOTRE APPROCHE, NOUS NOUS INTERESSONS AUX ETAPES DE SELECTION ET DE PRE-TRAITEMENT DES DONNEES DU PROCESSUS DE DECOUVERTE DE CONNAISSANCES CAR ELLES CONSTITUENT LE DEFI MAJEUR DE CE PROCESSUS. EN EXTRACTION DE CONNAISSANCES, UNE DES PRINCIPALES DIFFICULTES EST LIEE A LA QUANTITE DES DONNEES A TRAITER ET A L'ABSENCE DE FORMALISME POUR REPRESENTER DES DONNEES AVEC DES STRUCTURES COMPLEXES. NOTRE TRAVAIL REPOSE DONC SUR LA DEFINITION DE METHODES DE TRAITEMENT DES DONNEES ET DE TRANSFORMATION DES STRUCTURES COMPLEXES. POUR CELA, NOUS DEFINISSONS UN ALGORITHME DE TRANSFORMATION DE SCHEMA ORIENTE OBJET EN UN SCHEMA RELATIONNEL. CET ALGORITHME EST FONDE SUR UN ENSEMBLE DE REGLES DE TRANSFORMATION POUR CHAQUE PROPRIETE DU MODELE ORIENTE OBJET. POUR LA PHASE DE PRE-TRAITEMENT DES DONNEES, NOUS INTRODUISONS UN LANGAGE DE REQUETES POUR L'ENSEMBLE DE CE PROCESSUS QUI PERMET L'EXTRACTION DE CONNAISSANCES SIMULTANEMENT A PARTIR DE DONNEES SPATIALES ET DE STRUCTURES OBJETS. L'INTERET MAJEUR D'UN TEL TYPE DE LANGAGE EST L'OBTENTION DIRECTE DE CONNAISSANCES A PARTIR D'UNE BASE DE DONNEES, A L'AIDE D'OPERATEURS QUI INCLUENT DES FONCTIONS MATHEMATIQUES ET DES ELEMENTS DE LA THEORIE DES SOUS-ENSEMBLES FLOUS. LA MISE EN UVRE DE CE LANGAGE A DONNE LE SYSTEME LARECOS : LANGAGE DE REQUETES POUR L'EXTRACTION DE CONNAISSANCES A PARTIR D'OBJETS SPATIAUX. CE SYSTEME A ETE EXPERIMENTE SUR DES DONNEES REELLES PROVENANT D'UNE BASE DE DONNEES SPATIALES ORIENTEE OBJET FOURNIE PAR L'IGN (INSTITUT GEOGRAPHIQUE NATIONAL).

Download or read book SCHEMAS ORIENTES OBJET written by ERIC.. AMIEL and published by . This book was released on 1994 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE A POUR CADRE LES BASES DE DONNEES ORIENTEES-OBJET. ELLE EST COMPOSEE DE TROIS PARTIES. LA PREMIERE COMMENCE PAR UN ETAT DE L'ART SUR LA PERSISTANCE DANS LES BASES DE DONNEES ORIENTEES-OBJET. ELLE SE POURSUIT PAR LA PRESENTATION D'UNE IMPLANTATION EN C++ D'OMNIS, UN GESTIONNAIRE DE SCHEMA ORIENTES-OBJET EXTENSIBLE BASE SUR UN MODELE REFLEXIF. LA DEUXIEME PARTIE S'INTERESSE A LA COHERENCE COMPORTEMENTALE, I.E., DES METHODE, DE SCHEMAS ORIENTES-OBJET. NOUS PROPOSONS D'ACCEPTER DES EXCEPTIONS AUX REGLES DE COHERENCE COMPORTEMENTALE, TELLES QUE LA CONTRAVARIANCE OU LA COVARIANCE, POUR FACILITER LA MODELISATION ET L'EVOLUTION DE SCHEMA. POUR EVITER LES ERREURS DE TYPE A L'EXECUTION, DES CLAUSES DE VERIFICATION DYNAMIQUE DE TYPE SONT AJOUTEES AUTOUR DES INSTRUCTIONS RENDUES NON-SURES PAR LES EXCEPTIONS. NOUS PRESENTONS LE PROCESSUS DE VERIFICATION STATIQUE DE TYPE EN PRESENCE D'EXCEPTIONS AINSI QUE LA GENERATION DES CLAUSES DE VERIFICATION. LA TROISIEME PARTIE EST CENTREE SUR L'IMPLANTATION DE L'ENVOI DE MULTI-METHODES. ELLE TENTE DE RENDRE APPLICABLE AUX MULTI-METHODES LA TECHNIQUE DES TABLES D'ENVOI QUI ASSURE UNE LIAISON RETARDEE EN TEMPS CONSTANT. L'APPLICABILITE DE CETTE TECHNIQUE DEPEND DE LA TAILLE DES TABLES D'ENVOIS. CELLES-CI ETANT ENORMES DANS LE CAS DES MULTI-METHODES, NOUS PRESENTONS UN ALGORITHME DE COMPRESSION

Download or read book Gestion des objets complexes written by Mourad Bouneffa and published by . This book was released on 1995 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: [résumé en français]Cette thèse est dédiée à la gestion des objets complexes, persistants et évolutifs propres aux nouvelles applications des bases de données. Nous nous intéressons plus spécialement aux bases de données pour les environnements du génie logiciel. Notre contribution concerne la modélisation de ces objets et l'évolution ainsi que intégration des schémas des bases de donnnées qui les contiennent. Nous proposons également, des mécanismes permettant l'adaptation de ces bases de données (données et programmes) aux différents types d'évolution. Nous avons d'abord défini un modèle de données générique à typage fort et englobant les concepts communément admis dans les modèles sémantiques et le paradigme objet (agrégation, groupement, héritage etc.). Ce modèle est formalisé par des types abstraits graphes. Une étude systématique de ces types abstraits nous a permis de définir un ensemble de modifications élémentaires de schémas qui sont elles-mêmes formalisées comme des opérations associées aux types graphes. Cette approche nous a permis de définir de façon rigoureuse, la gestion des impacts des modifications de schémas.Un processus d'intégration de schémas d'objets complexes a également été proposé, il se caractérise par sa phase de comparaison de schémas qui s'effectue à l'aide d'un raisonnement hypothétique. Du point de vue de la gesiton de l'impact de l'évolution de schémas sur les bases de données existantes, nous proposons un mécanismes permettant l'adaptation des instances et de sprogrammes ainsi qu"une gestion de versions de schémas. Ce mécanisme se base sur la définition, dans certains cas automatique, de fonctions de correspondance formalisées par des homorphismes. Ces fonctions peuvent en effet, être utilisées pour réaliser la conversion des instances ou pour implanter un polymorphisme ad hoc avec crcion de types. Les propositions de cette thèse ont fait l'objet d'une implantation sur une plate-forme orientée objet (smalltalk object-works)

Download or read book Base de donn es orient e objet et base de connaissances written by Alain PAOLI and published by . This book was released on 1991 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book La Conception des bases de donnees orientees objet Propositions pour la construction d un AGL written by Bernadette Wakim and published by . This book was released on 1991 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book OD3 contribution methodologique a la conception de bases de donnees orientees objet reparties written by Franck Ravat (enseignant-chercheur en informatique).) and published by . This book was released on 1996 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book EVOLUTION DE SCHEMA DANS LES SYSTEMES DE GESTION DE BASES DE DONNEES ORIENTES OBJET APPLICATION A LA DESCRIPTION D IMAGES ANATOMOMIQUES CEREBRALES written by JEAN-HILAIRE.. YAPI and published by . This book was released on 1996 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES SYSTEMES DE GESTION DE BASES DE DONNEES ORIENTES OBJETS (SGBDOO) ONT ETE CONCUS POUR SUPPORTER DES APPLICATIONS MANIPULANT DES DONNEES COMPLEXES. CE TYPE D'APPLICATIONS NECESSITENT SOUVENT DE DISPOSER DE FONCTIONS D'EVOLUTION DE SCHEMA. POUR REPONDRE A CE BESOIN, LA PLUPART DES SGBDOO OFFRENT LEURS PROPRES FONCTIONNALITES D'EVOLUTION DE SCHEMA, AVEC LEURS PROPRES SEMANTIQUES. CEPENDANT, LA VARIETE DES APPLICATIONS ET LA DIVERSITE DES BESOINS FONT QU'IL N'EXISTE PAS DE SYSTEME POSSEDANT DES FONCTIONNALITES D'EVOLUTION DE SCHEMA CAPABLES DE REPONDRE AUX BESOINS DE TOUTES LES APPLICATIONS. C'EST EN PARTICULIER LE CAS DE L'APPLICATION ATLAS DONT LES BESOINS NE SONT PAS COMPLETEMENT SATISFAITS PAR LES MECANISMES DES SYSTEMES ACTUELS EN RAISON NOTAMMENT DE L'ABSENCE D'OPERATIONS SPECIFIQUES DE SUPPRESSION, DE FUSION ET D'ECLATEMENT DE CLASSES ET DE L'ABSENCE D'UN MECANISME D'ADAPTATION ET DE MIGRATION D'INSTANCES PERMETTANT DE REORGANISER, EN FONCTION DES EVOLUTIONS EXECUTEES, LA REPARTITION DES INSTANCES DANS LES CLASSES. LE TRAVAIL REALISE AU COURS DE CETTE THESE A CONSISTE A DEFINIR UNE SEMANTIQUE PLUS LARGE POUR LES OPERATIONS D'EVOLUTION DE SCHEMA EN INTEGRANT SI POSSIBLE LES SEMANTIQUES RENCONTREES DANS LES SYSTEMES ET EN PRENANT EN COMPTE LES BESOINS SPECIFIQUES DE L'APPLICATION ATLAS. LES INCIDENCES SUR L'EVOLUTION DES DONNEES PROPREMENT DITES SONT PRECISEES POUR CHACUNE DES FONCTIONNALITES DECRITES. DANS LE CAS DE L'ECLATEMENT D'UNE CLASSE, L'UTILISATEUR PEUT SELECTIONNER, PAR UNE REQUETE, LES INSTANCES A FAIRE MIGRER. L'EVOLUTION DES INSTANCES EST REALISEE PAR UNE FONCTION D'ADAPTATION QUI PERMET DE REPERCUTER LES MODIFICATIONS DU SCHEMA SUR LES DONNEES. POUR CELA, ELLE ASSURE PAR UNE CONVERSION IMMEDIATE LA RESTRUCTURATION DES INSTANCES ASSOCIEES A DES CLASSES MODIFIEES, EXECUTE LES REQUETES DE MIGRATIONS D'INSTANCES EXPRIMEES PAR L'UTILISATEUR ET REALISE LA MISE A JOUR DES REFERENCES AUX INSTANCES CONVERTIES

Download or read book Contr le de la coh rence des bases de donn es r parties et dupliqu es sujettes aux partitionnements written by Michel Meynard and published by . This book was released on 1990 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE A POUR OBJET D'ETUDIER LES PARTITIONNEMENTS DU RESEAU DE COMMUNICATION DANS LES BASES DE DONNEES REPARTIES ET DUPLIQUEES. APRES AVOIR PROPOSE UN MODELE DE BASE DE DONNEES ET DES TRANSACTIONS Y ACCEDANT, ON DEFINIT LA COHERENCE D'UNE EXECUTION CONCURRENTE PARTITIONNEE GRACE AU CRITERE DE 1-SERIALISABILITE. PUIS, UN PANORAMA EXPOSE CERTAINES METHODES PUBLIEES DE GESTION DE LA DUPLICATION. LE CHAPITRE IV ENONCE UN PROTOCOLE DE GESTION DES PARTIES VIRTUELLES PERMETTANT AUX SITES D'UNE MEME PARTIE D'AVOIR LA MEME VUE. ENFIN LES DEUX DERNIERS CHAPITRES EXHIBENT DEUX METHODES ORIGINALES DE GESTION DE LA DUPLICATION: LA METHODE OPTIMISTE PERMET DE RESOUDRE LES INCOHERENCES GRACE A UN GRAPHE DE PRECEDENCE ETABLI APRES LA FUSION DE LA BASE. D'AUTRE PART, LE MODELE D'OBJET FRAGMENTAIRE AMELIORE NOTABLEMENT LA DISPONIBILITE DE LA BASE EN ADAPTANT LE COMPORTEMENT DES OBJETS FRAGMENTAIRES A LA CONFIGURATION DE COMMUNICATION

Download or read book CONTRIBUTIONS A L ETUDE DE LA TENSION ENTRE COHERENCE ET CONFIDENTIALITE ET DU CLASSEMENT D OBJETS SELON LEUR HISTOIRE DANS LES BASES DE DONNEES written by Xavier Delannoy and published by . This book was released on 1997 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.