Expression de contraintes globales dans les documents semi-structurés
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 14 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Nombre de pages68
- PrésentationBroché
- Poids0.114 kg
- Dimensions15,2 cm × 22,9 cm × 0,4 cm
- ISBN978-613-1-53122-4
- EAN9786131531224
- Date de parution31/08/2010
- CollectionOMN.UNIV.EUROP.
- ÉditeurUniv Européenne
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.