Expression de contraintes globales dans les documents semi-structurés
khalil-w
Éditeur :
 UNIV EUROPEENNE
EAN :
 9786131531224
Date de parution :  
31/08/2010
Disponible sous 3/4 jours
Disponible sous 3/4 jours
Résumé
"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. "
Informations détaillées
Éditeur: 
UNIV EUROPEENNE
EAN: 
9786131531224
Date de parution:  
31/08/2010
Format:  
4 mm x 229 mm x 152 mm
Nombre de pages:  
68