基于模型检测的半结构化数据查询
刘林霞1
张自强1
何安平2
1.兰州大学信息工程与科学学院,兰州,7300002.兰州大学数学院,兰州,730000
摘要：在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向.现有的半结构化查询语言在查询效率上存在着不足.文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率.最后,给出了该方法在现有半结构化查询语言Lorel上的应用.
关键词：模型检测时序逻辑LorelOEM模型
分类号：TP301.2(计算技术、计算机技术)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 75-79 )
英文信息