Verwandte Artikel zu 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.)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.