【摘 要】
：
在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章
【机 构】
：
兰州大学信息工程与科学学院,兰州大学数学院
论文部分内容阅读
在Web迅猛发展和半结构化数据急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向。现有的半结构化查询语言在查询效率上存在着不足。文章提出了一个将模型检测技术应用到半结构化数据查询的新方法,它通过把数据库看作Kripke状态变迁系统,把查询解释为时序逻辑CTL公式,将查询过程转化为模型对公式的满足问题,通过模型检测过程高效地完成数据查询,从而使查询可以在多项式时间内完成,很好地改善了查询效率。最后,给出了该方法在现有半结构化查询语言Lorel上的应用。
其他文献
改革开放以来,随着城市经济的快速稳定发展,城市化建设取得了飞跃性发展,以城市雕塑为代表的城市公共艺术因对树立城市文化形象、提升城市建设水平的重要作用得到了前所未有
提出基于TMS320C6713b浮点型DSP的虹膜识别硬件系统设计,以模块化的方式详细介绍了各个部分的结构、功能、工作原理等设计内容。对归一化的虹膜图像采用2D-Gabor滤波器的虹膜算法实现对虹膜特征的提取,通过比较海明码距完成特征匹配。实验结果表明,该系统能高效、稳定的工作,具有较高的识别率,效果良好。
谈谈侦查中获取证据的意识高贵祥证据亦称诉讼证据，是指司法人员依法收集并查证属实的证明案件真实情况的一切事实。是认定行为人有罪或无罪的重要证据。在侦查阶段，能否较好地
随着信息技术的迅速发展,特别是互联网的普及,基于WEB的数据仓库技术成为计算机领域研究的热点。首先介绍了在网络应用中数据仓库的体系结构及其优点,重点对基于Web数据仓库