Expression de Contraintes Globales Dans Les Documents Semi-Structur�s

Resume: La logique TQL (Tree Query Language) proposee par Cardelli et Ghelli est un langage logique, de type declaratif, permettant d'exprimer des proprietes sur les documents semi-structures. En utilisant la logique TQL nous pouvons caracteriser certains langages d'arbres comme par exemple les langages d'arbres reguliers a arites non bornees. Dans ce travail, notre objectif est d'enrichir cette logique afin de pouvoir exprimer des proprietes des langages d'arbres hors-contexte, des langages d'arbres synchronises reguliers et des langages d'arbres synchronises hors-contexte.