面向半结构化数据的树逻辑及其性质研究

• 作者: 俞春 吕建 陈韬略 韩婷婷
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 半结构化数据 树逻辑 不可判定性 模型检测
• 年，卷（期）: 2005,（2）
• 页码范围: 162-170
• 页数: 9页
• 分类号: TP3
• 字数: 8082字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.02.008

摘要

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画.在[1]的基础上,在数据模型中加入了受限算子,并提出一种新的空间逻辑--树逻辑,在其中引入了一个新的模态算子,它们的意义在于能够对私有数据的性质进行刻画和表达.此外,通过修正数据模型中的同余关系,使得模型符合数据的有序性,从而使其更为合理.在此基础上证明了树逻辑系统公式可满足性的不可判定性,从而说明针对整个树逻辑系统的模型检测算法是不存在的.同时选择了其中一个子逻辑系统,给出了其模型检测算法,并证明了该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
3	韩婷婷	南京大学计算机软件新技术国家重点实验室	10	17	2.0	3.0
4	俞春	南京大学计算机软件新技术国家重点实验室	4	42	3.0	4.0