基于模型检测的半结构化数据查询

• 作者: 何安平 刘林霞 张自强
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 模型检测 时序逻辑 Lorel OEM模型
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 系统结构
• 页码范围: 75-79
• 页数: 5页
• 分类号: TP301.2
• 字数: 4240字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2009.08.020

摘要

在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向.现有的半结构化查询语言在查询效率上存在着不足.文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率.最后,给出了该方法在现有半结构化查询语言Lorel上的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何安平	兰州大学数学院	10	13	3.0	3.0
2	刘林霞	兰州大学信息工程与科学学院	1	4	1.0	1.0
3	张自强	兰州大学信息工程与科学学院	1	4	1.0	1.0