检索结果-维普期刊中文期刊服务平台

XML结构完整性约束下的路径表达式的最小化被引量：3: 1; 作者张剑妹陶世群梁吉业《软件学报》 EI CSCD 北大核心 2009年第11期2977-2987,共11页; 引入了一个XML结构完整性约束体系.这个体系描述了XML文档中节点或路径之间的5种结构关系,包括路径蕴涵、路径同现、路径互斥、必需性包含和排他性包含.给出了这些结构完整性约束的语法和语义定义,并研究了它们在XML查询优化中的作用.... 展开更多; 关键词路径表达式 XML结构完整性约束路径蕴涵闭包子路径最小化; 在线阅读下载PDF 职称材料

DTD模式下的XML结构完整性约束被引量：3: 2; 作者张剑妹陶世群《小型微型计算机系统》 CSCD 北大核心 2009年第11期2232-2237,共6页; XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了... 展开更多; 关键词 XML结构完整性约束 DTDs 逻辑蕴含一致性; 在线阅读下载PDF 职称材料

XML结构完整性约束的研究被引量：2: 3; 作者张剑妹陶世群《计算机工程与应用》 CSCD 北大核心 2006年第32期167-169,196,共4页; XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现... 展开更多; 关键词结构完整性约束排他性包含必需性包含路径蕴涵路径互斥路径同现; 在线阅读下载PDF 职称材料

XML的结构完整性约束推理: 4; 作者张剑妹陶世群 +1 位作者梁吉业曹峰《计算机学报》 EI CSCD 北大核心 2010年第12期2281-2290,共10页; 为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵... 展开更多; 关键词 XML结构完整性约束逻辑蕴涵一致性推理规则路径蕴涵闭包; 在线阅读下载PDF 职称材料

题名XML结构完整性约束下的路径表达式的最小化被引量：3: 1; 作者张剑妹陶世群梁吉业; 机构山西大学计算机与信息技术学院长治学院; 出处《软件学报》 EI CSCD 北大核心 2009年第11期2977-2987,共11页; 基金国家自然科学基金No.70471003 国家教育部高等学校博士学科点专项科研基金No.20050108004~~; 文摘引入了一个XML结构完整性约束体系.这个体系描述了XML文档中节点或路径之间的5种结构关系,包括路径蕴涵、路径同现、路径互斥、必需性包含和排他性包含.给出了这些结构完整性约束的语法和语义定义,并研究了它们在XML查询优化中的作用.基于子路径的概念,提出了有结构完整性约束的路径表达式的最小化算法.该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式.实验结果表明了该算法的正确性和有效性.; 关键词路径表达式 XML结构完整性约束路径蕴涵闭包子路径最小化; Keywords path expression structural integrity constraint for XML path implication closure sub-path minimization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名DTD模式下的XML结构完整性约束被引量：3: 2; 作者张剑妹陶世群; 机构长治学院计算机系山西大学计算机与信息技术学院; 出处《小型微型计算机系统》 CSCD 北大核心 2009年第11期2232-2237,共6页; 基金国家自然科学基金项目(60275019)资助山西省高校科技开发项目(200811049)资助; 文摘 XML结构完整性约束(XSICs)描述了XML文档中节点或路径之间结构关系,这种约束可以看成是DTDs的扩展和补充.定义了元素排他性包含、必需性包含、路径蕴含、路径同现和路径互斥五种XSICs的语法和语义,研究了如何使用XSICs扩展DTDs,并解决了有DTDs的情况下结构完整性约束的逻辑蕴含问题和一致性问题.; 关键词 XML结构完整性约束 DTDs 逻辑蕴含一致性; Keywords structural integrity constraints for XML DTDs logical implication consistency; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名XML结构完整性约束的研究被引量：2: 3; 作者张剑妹陶世群; 机构山西大学计算机与信息技术学院长治学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第32期167-169,196,共4页; 文摘 XML的结构完整性约束用来表示元素之间或路径之间的结构关系,它们在XML查询优化中有着举足轻重的作用。提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。; 关键词结构完整性约束排他性包含必需性包含路径蕴涵路径互斥路径同现; Keywords structural integrity constraint exclusive inclusion obligatory inclusion path implication path mutual-exclusion path cooccurrence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名XML的结构完整性约束推理: 4; 作者张剑妹陶世群梁吉业曹峰; 机构长治学院计算机系山西大学计算机与信息技术学院; 出处《计算机学报》 EI CSCD 北大核心 2010年第12期2281-2290,共10页; 基金国家自然科学基金(70471003) 高等学校博士学科点专项科研基金(20050108004)资助~~; 文摘为了有效地优化XML路径表达式查询,给出了一个XML结构完整性约束体系,这个体系全面描述了XML文档中节点或路径之间的结构关系,包括必需性包含、排他性包含、路径蕴涵、路径互斥和路径同现.在此基础上研究了XML结构完整性约束的逻辑蕴涵和一致性问题.文章首先采用约束重写技术将各种约束改写为路径蕴涵约束;然后给出了一组路径蕴涵的推理规则;最后以路径蕴涵闭包为工具证明了推理规则的完备性并给出了XML结构完整性约束的一致性判断方法.; 关键词 XML结构完整性约束逻辑蕴涵一致性推理规则路径蕴涵闭包; Keywords structural integrity constraints for XML logical implication consistency inference rule path implication closure; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料