刘科

作品数：3被引量：8H指数：2
导出分析报告
供职机构：北京工业大学更多>>
发文主题：XMLXML_SCHEMASCHEMA逻辑公式特征提取更多>>
发文领域：自动化与计算机技术艺术建筑科学历史地理更多>>
发文期刊：《计算机应用与软件》《计算机科学》更多>>
所获基金：北京市自然科学基金北京市教育委员会科技发展计划面上项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检查的XML树模式优化动作生成被引量：2
《计算机应用与软件》2017年第3期45-53,共9页赵瑞芳 刘科 杨红丽 廖湖声 
针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个...
关键词：树模式优化 ORS XML Shema模型检查 
XML Schema特征提取算法被引量：1
《计算机科学》2015年第B11期438-443,共6页刘科 杨红丽 赵瑞芳 廖湖声 陈瑶 秦胜潮 
北京市自然科学基金:面向XQuery语言的树模式查询技术研究(4122011)资助
Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特...
关键词：XML Schema特征 模型检查 时态逻辑 
基于模型检查的XML Schema特征提取被引量：5
《计算机应用与软件》2012年第11期160-164,共5页刘科 杨红丽 廖湖声 吕关锋 高雁飞 
北京市自然科学基金项目(4082003);中科院软件所项目(40007012201106);北京市教育委员会科研计划面上项目(KM201010016003)
XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义。树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提...
关键词：模型检查 时态逻辑公式 XML SCHEMA Schema特征 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部