Manipulation de données spaciales et topologiques / Luc Segoufin ; sous la direction de Stephane Grumbach

Date :

Format : 132 P.

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Grumbach, Stéphane (19..-.... ; chercheur en sciences et technologies du numérique) (Directeur de thèse / thesis advisor)

Université Paris-Sud (1970-2019) (Organisme de soutenance / degree-grantor)

Relation : Manipulation de données spaciales et topologiques / Luc Segoufin ; sous la direction de Stephane Grumbach / Grenoble : Atelier national de reproduction des thèses , 1999

Résumé / Abstract : LES OBJETS SPATIAUX, DE PAR LEUR COMPLEXITE, NE PEUVENT EN GENERAL PAS ETRE DECRITS DE FACON EXTENSIVE, MAIS SEULEMENT INTENSIONNELLEMENT, CE QUI POSE DE SERIEUX PROBLEMES AUX SYSTEMES DE GESTION DE BASES DE DONNEES. DE LA QUALITE DE LA MODELISATION DES DONNEES DEPEND LA FACILITE DE LEUR MANIPULATION ET L'EFFICACITE DES TECHNIQUES D'EVALUATION QUE L'ON PEUT METTRE EN UVRE. LA REPRESENTATION DES OBJETS A L'AIDE DE CONTRAINTES REND POSSIBLE UNE MODELISATION EN TERME D'ENSEMBLES QUI PERMET UNE MANIPULATION AU MOYEN D'OPERATIONS HABITUELLES COMME CELLES DE L'ALGEBRE RELATIONNELLE. L'EVALUATION DES REQUETES SUR LES OBJETS SPATIAUX A GENERALEMENT UNE COMPLEXITE EXPONENTIELLE EN LA DIMENSION DES DONNEES, CE QUI LIMITE LA PORTEE PRATIQUE DES SYSTEMES POUR DES DIMENSIONS ELEVEES. ON MONTRE COMMENT DANS LE CADRE DU MODELE CONTRAINTE, IL EST POSSIBLE D'UTILISER DES CRITERES TELLES QUE LA DIMENSION, LA GEOMETRIE ET LA TOPOLOGIE DES DONNEES POUR MAITRISER LE COUT D'EVALUATION DES REQUETES. POUR REDUIRE LA COMPLEXITE EN UNE FONCTION LINEAIRE EN LA DIMENSION, ON PROPOSE DES TECHNIQUES D'EVALUATION BASEES SUR DES APPROXIMATIONS. ON MONTRE AUSSI COMMENT RECONNAITRE DANS LA REQUETE DES BLOCS CORRESPONDANT A DES PROBLEMES CONNUS DE GEOMETRIE. UNE EVALUATION EFFICACE DE LA REQUETE EST ALORS OBTENUE EN REMPLACANT CES BLOCS PAR L'ALGORITHME CORRESPONDANT. ENFIN, ON MONTRE COMMENT REPONDRE PLUS RAPIDEMENT A DES REQUETES TOPOLOGIQUES A L'AIDE D'UNE STRUCTURE FINIE APPELEE GRAPHE TOPOLOGIQUE ET DES TECHNIQUES DE REECRITURE DE FORMULES. POUR FINIR, ON VALIDE CONCRETEMENT LA PORTEE PRATIQUE DE L'APPROCHE PAR CONTRAINTES ET DES CONCEPTS DEVELOPPES DANS CETTE THESE A L'AIDE D'UN PROTOTYPE, DEDALE, DONT ON PRESENTE LA CONCEPTION ET L'IMPLANTATION.