- Francúzsky jazyk
Expression de contraintes globales dans les documents semi-structurés
Autor: Wissam Khalil
Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d'exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains... Viac o knihe
Na objednávku, dodanie 2-4 týždne
26.91 €
bežná cena: 29.90 €
O knihe
Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d'exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages d'arbres comme par exemple les langages d'arbres réguliers à arités non bornées. Dans ce travail, notre objectif est d'enrichir cette logique afin de pouvoir exprimer des propriétés des langages d'arbres hors-contexte, des langages d'arbres synchronisés réguliers et des langages d'arbres synchronisés hors-contexte.
- Vydavateľstvo: Éditions universitaires européennes
- Rok vydania: 2010
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Francúzsky jazyk
- ISBN: 9786131531224