您的位置： 专家智库 > >

北京市教育委员会科技发展计划面上项目(KM201010016003)

作品数：1 被引量：5H指数：1
相关作者：高雁飞刘科杨红丽廖湖声吕关锋更多>>
相关机构：北京建筑工程学院北京工业大学更多>>
发文基金：北京市自然科学基金北京市教育委员会科技发展计划面上项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇时态
  • 1篇特征提取
  • 1篇逻辑公式
  • 1篇XML
  • 1篇XML_SC...
  • 1篇SCHEMA

机构

  • 1篇北京建筑工程...
  • 1篇北京工业大学

作者

  • 1篇吕关锋
  • 1篇廖湖声
  • 1篇杨红丽
  • 1篇刘科
  • 1篇高雁飞

传媒

  • 1篇计算机应用与...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型检查的XML Schema特征提取被引量：5
2012年
XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义。树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提取XML Schema的特征是需要解决的问题。提出基于模型检查的XML Schema特征提取方法。首先把XML Schema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XML Schema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化。
刘科杨红丽廖湖声吕关锋高雁飞
关键词：XMLSCHEMA
全选 清除 导出
共1页<1>
聚类工具0