×

Gql公司

swMATH ID: 38944
软件作者: A.Papantonakis;P.J.H.金
描述: 图形查询语言Gql的语法和语义。视觉语言的形式化问题被认为是一个重要的问题。本文给出了Gql的语法和语义的形式化定义,Gql是一种基于函数数据模型的声明性图形查询语言。在Gql中,查询完全明确地由单个图表表示,用户交互与语言本身不同。在我们的形式化方法中,我们从图形世界中抽象出来,专注于集合和函数的世界,称为基本结构,它代表了语言的各种元素。该语言的语法定义是通过定义一组基本结构实例必须满足的规则来完成的,以便它与合法的Gql查询相对应。该语言的语义是通过从Gql查询(表示为基本结构实例)到列表理解的功能定义的语法定向翻译给出的。最后,属性语法的形式与前面的定义结合使用,以单一形式指定Gql的语法和语义。
主页: https://www.sciencedirect.com/science/article/pii/S1045926X85710026
相关软件: 北极星;卡通绘制;ADDTREE/P公司;探索4;SAS公司;MANET(移动自组网);卡萨特;小吃声音工具包;MacSpin电脑;XGobi公司;克里姆特;GenStat公司;组织环境信息系统;蒙德里安;SPSS软件;AS 96标准;GLIM公司;系统
引用于: 1文件

按年份列出的引文