Structure des objets et raisonnements dans les langages de clauses : Application à l'optimisation sémantique de requêtes
Institution:
Lyon, INSADisciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.