赵瑞芳
- 作品数：3 被引量：3H指数：1
- 供职机构：北京工业大学更多>>
- 发文基金：北京市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模型检查的XML树模式优化动作生成被引量：2
- 2017年
- 针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。
- 赵瑞芳刘科杨红丽廖湖声
- 关键词：ORSXML
- XML Schema特征提取算法被引量：1
- 2015年
- Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
- 刘科杨红丽赵瑞芳廖湖声陈瑶秦胜潮
- 关键词：XML时态逻辑
- 基于时态逻辑的XQuery树模式优化
- XML以其强大的功能，在计算机领域得到了广泛的应用，已经成为信息描述和交换的一种标准技术。XQuery被设计用来查询XML数据，树模式查询作为XQuery查询的核心，其查询效率问题成为一个重要的研究方向。 树模式查询的...
- 赵瑞芳
- 关键词：计算机XML数据时态逻辑
