Le resume linguistique de donnees structurees comme ... - APMD

34 CHAPITRE 2 — Algorithme d’interrogation des résumésCette section traite de la seule procédure d’exécution, c’est-à-dire de l’exploration de lahiérarchie de résumés, par laquelle les résumés résultats de l’interrogation sont sélectionnés.L’exploration de l’arbre des résumés est un parcours en profondeur préfixé, au cours duquel lesnœuds visités sont soumis à un test de correspondance détaillé en section 2.2.2. Ce parcours estd’autant plus adapté qu’il nécessite moins d’espace mémoire qu’un parcours en largeur et queles hiérarchies de résumés mettent en évidence une hauteur très inférieure à la largeur maximale.La profondeur moyenne d’une feuille est en effet estimée à log B L où B est le nombre moyende fils pour un nœud et L est le nombre de feuilles de la hiérarchie [127]. De plus, les résumésproduits par SAINTETIQ sont stockés dans des fichiers XML. Ils suivent donc un ordre préfixé,typique de la sérialisation de données arborescentes. Enfin, le parcours en profondeur permetde réaliser des coupures de branches qui contribuent largement à réduire le nombre de nœudsvisités pendant la recherche.Le parcours séquentiel de tous les résumés est une solution simple mais qui implique quetous les résumés sont visités. Aucune réduction de l’espace de recherche n’intervient dans cecontexte. L’option du parcours séquentiel n’est donc pas envisagée.2.2.1 Proposition logique et sémantique des résumésLa traduction d’une caractérisation initiale C sous forme de proposition logique a pour but desimplifier l’interprétation de C. Néanmoins, il n’est pas toujours trivial de décider si un résuméquelconque z participe à la réponse de la requête. En effet, la description intensionnelle de zoffre une lecture immédiate par rapport au connecteur disjonctif (∨) mais pas par rapport auconnecteur conjonctif (∧) :• Considérons un résumé z et une caractérisation initiale C tels que z.A = {d 1 , d 2 , d 3 }et C 1 = {d 1 , d 2 }. L’ensemble L A (z) des descripteurs de z sur l’attribut A est L A (z) ={d 1 , d 2 , d 3 }. Comme d 1 appartient à L A (z), la clause C l 1 = d 1 ∨ d 2 est validée car lavariable logique d 1 est valuée à VRAI. Il en est de même pour d 2 ∈ L A (z).• Considérons ensuite C = { {a 1 , a 2 }, {b 1 , b 2 } } et z = 〈{a 1 , a 2 , a 3 }, {b 1 , b 3 }, . . .〉. Lesclauses Cl 1 = a 1 ∨a 2 et Cl 2 = b 1 ∨b 2 sont satisfaites par z et la proposition P = Cl 1 ∧Cl 2l’est également. Cependant, on ne peut conclure que z participe à la réponse de la requêtesans autre précaution. Dans le cas où son extension ne couvre que des tuples ayant l’unedes formes ci-après, z ne devrait pas être sélectionné car aucun de ses tuples n’est unrésultat valide :– (a 1 , b 3 , . . .)– (a 2 , b 3 , . . .)