Items related to Expression de contraintes globales dans les documents...

Expression de contraintes globales dans les documents semi-structurés: La logique TQL (Omn.Univ.Europ.) - Softcover

KHALIL, Wissam

 
9786131531224: Expression de contraintes globales dans les documents semi-structurés: La logique TQL (Omn.Univ.Europ.)
Softcover
ISBN 10: 6131531226 ISBN 13: 9786131531224
Publisher: Editions universitaires europeennes, 2010

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Né le 1 juin 77 au Liban. Marié avec Zaynab SALLOUM, et père de Laya. Doctorant à Polytech'Lille. Diplômé de deux masters: MSIS de Middle East Canadian Univ. et SID de Panthéon-Sorbonne. Il a été chef de département informatique à l'Association de Bienfaisance Culturelle, enseignant dans des établissements d'enseignement supérieur.

"About this title" may belong to another edition of this title.

Publisher
Editions universitaires europeennes
Publication date
2010
Language
French
ISBN 10 
6131531226
ISBN 13 
9786131531224
Binding
Paperback
Number of pages
68