更具表现力的TQL扩展

International Conference on Soft Computing as Transdisciplinary Science and Technology Pub Date : 2008-10-28 DOI:10.1145/1456223.1456347

W. Khalil

{"title":"更具表现力的TQL扩展","authors":"W. Khalil","doi":"10.1145/1456223.1456347","DOIUrl":null,"url":null,"abstract":"The TQL logic (Tree Query Language) proposed by Cardelli and Ghelli [1] is a logical declarative language, allowing to express properties on the semistructured documents. By using TQL logic we can characterize certain languages of trees such as for example the regular languages with unboundarity. In this work, our objective is to enrich this logic in order to be able to express properties of the context-free tree languages, synchronized regular tree languages and synchronized context-free tree languages.","PeriodicalId":309453,"journal":{"name":"International Conference on Soft Computing as Transdisciplinary Science and Technology","volume":"326 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"More expressive extensions of TQL\",\"authors\":\"W. Khalil\",\"doi\":\"10.1145/1456223.1456347\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The TQL logic (Tree Query Language) proposed by Cardelli and Ghelli [1] is a logical declarative language, allowing to express properties on the semistructured documents. By using TQL logic we can characterize certain languages of trees such as for example the regular languages with unboundarity. In this work, our objective is to enrich this logic in order to be able to express properties of the context-free tree languages, synchronized regular tree languages and synchronized context-free tree languages.\",\"PeriodicalId\":309453,\"journal\":{\"name\":\"International Conference on Soft Computing as Transdisciplinary Science and Technology\",\"volume\":\"326 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Soft Computing as Transdisciplinary Science and Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1456223.1456347\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Soft Computing as Transdisciplinary Science and Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1456223.1456347","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

由Cardelli和Ghelli[1]提出的TQL逻辑(Tree Query Language)是一种逻辑声明性语言，允许在半结构化文档上表达属性。通过使用TQL逻辑，我们可以描述树的某些语言，例如具有无边界的规则语言。在这项工作中，我们的目标是丰富这种逻辑，以便能够表达与上下文无关的树语言、同步规则树语言和同步上下文无关的树语言的属性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

More expressive extensions of TQL

The TQL logic (Tree Query Language) proposed by Cardelli and Ghelli [1] is a logical declarative language, allowing to express properties on the semistructured documents. By using TQL logic we can characterize certain languages of trees such as for example the regular languages with unboundarity. In this work, our objective is to enrich this logic in order to be able to express properties of the context-free tree languages, synchronized regular tree languages and synchronized context-free tree languages.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference on Soft Computing as Transdisciplinary Science and Technology

自引率

0.00%

发文量