Structure des objets et raisonnements dans les langages de clauses : Application à l'optimisation sémantique de requêtes

par Christophe Rigotti

Thèse de doctorat en Informatique

Sous la direction de Jacques Kouloumdjian.

Soutenue en 1996

à Lyon, INSA , en partenariat avec LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) (laboratoire) .


  • Résumé

    Ce travail porte sur l'étude de l'intégration de la structure des objets dans les langages de clauses et son application dans le domaine des bases de données. Dans la première partie nous mettons en évidence trois familles de langages, correspondant à trois utilisations différentes de la structure des objets dans les raisonnements sur des clauses. Nous montrons, dans la seconde partie, que deux de ces formes de raisonnement peuvent être combinées, permettant ainsi d'utiliser simultanément la structure des objets comme contrainte au niveau des termes et comme information connue ou déduite. Nous construisons un tel outil de raisonnement pour lequel nous donnons une sémantique déclarative et une sémantique opérationnelle équivalente. Dans la troisième partie, nous employons ces possibilités de représentation et de raisonnement pour décrire et reformuler des requêtes dans les bases de données déductives orienté-objet. Dans ce contexte, nous construisons un cadre original d'optimisation sémantique de requêtes, dont l'intérêt principal est d'autoriser la combinaison de deux schémas d'optimisation complémentaires existants.

  • Titre traduit

    = Reasoning over object structures in clauses : Application to semantic query optimization


  • Résumé

    We study the integration of abject structures in clauses and its application in the field of databases. In the first part, we describe three families of languages, corresponding to three kinds of reasoning over abject structures in clauses. In the second part, we point out that two of these reasoning schemes can be combined to use abject structures as constraints over terms and as known or deduced information. We design such a reasoning tool and provide its declarative and operational semantics. In the third part, we apply these representation and reasoning possibilities to describe and reformulate queries in deductive object-oriented databases. This leads to an original application: a novel framework for semantic query optimization, combining two complementary optimization schemes.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

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

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Accessible pour le PEB
  • Cote : C.83(1892)

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1996-RIG
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.