Native XML数据库的增量式验证

Incremental Validation of Native XML Databases

下载PDF

导出

摘要针对native XML数据库的更新操作,提出了一种增量式验证方法,确保更新后的XML数据仍然符合指定模式的约束.基于正则树文法理论,形式化地描述XML模式语言,给出DTD在native XML数据库中的表示与存储格式.在更新操作过程中,首先检验期望结果是否满足模式的约束;只有在更新操作通过验证的前提下,原始XML数据才允许被修改.由于增量式验证仅涉及到直接受更新操作影响的XML数据片段.因此,与完全重新验证相比,增量式验证可以极大地提高XML数据更新效率.

作者王鑫袁晓洁李楠

机构地区南开大学计算机科学与技术系

出处《计算机研究与发展》 EI CSCD 北大核心 2006年第z3期424-429,共6页 Journal of Computer Research and Development

基金天津市科技发展计划基金项目(06YFGZGX05700)

关键词增量式验证 NATIVE XML数据库 XML模式更新操作 DTD

分类号 TP311.13 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献13

1[1]W3C.Extensible Markup Language (XML) 1.0,third edition.W3C Recommendation.http://www.w3.org/TR/REC-xml/,2004-02-04
2孔令波,唐世渭,杨冬青,王腾蛟,高军.XML数据索引技术[J].软件学报,2005,16(12):2063-2079. 被引量：55
3[3]Y Papakonstantinou,V Vianu.Incremental validation of XML documents.In:Proc of the 9th Int'l Conf on Database Theory (ICDT).Berlin:Springer,2003.47-63
4[4]B Bouchou,M H F Alves.Updates and incremental validation of XML documents.In:Proc of the 9th Int'l Workshop on Database Programming Languages (DBPL).Berlin:Springer,2003.216-232
5[5]M A Abrao,B Bouchou,M H Ferrari,et al.Incremental constraint checking for XML documents.In:Proc of the 2nd Int'l XML Database Symposium (XSym).Berlin:Springer,2004.112-127
6[6]D Barbosa,A O Mendelzon,L Libkin,et al.Efficient incremental validation of XML documents.In:Proc of the 20th Int'l Conf on Data Engineering (ICDE).Los Alamitos,CA:IEEE Computer Society Press,2004.671-682
7[7]W3C.XML Schema Specifications,second edition.W3C Recommendation.http://www.w3.org/XML/Schema,2004-10-28
8[8]OASIS.RELAX NG Specification.Committee Specification.http://www.oasis-open.org/committees/relax-ng/spec-20011203.html,2001-12-03
9[9]H Comon,M Dauchet,R Gilleron,et al.Tree automata techniques and applications.http://www.grappa.univ-lille3.fr/tata,1997
10[10]D Lee,M Mani,M Murata.Reasoning about XML schema language using formal language theory.IBM Almaden Research Center,Tech Rep:RJ#10197,Log#95071,2000

二级参考文献2

1王静,孟小峰,王珊.基于区域划分的XML结构连接[J].软件学报,2004,15(5):720-729. 被引量：35
2孟小峰,周龙骧,王珊.数据库技术发展趋势[J].软件学报,2004,15(12):1822-1836. 被引量：176

共引文献54

1秦春磊.基于XML工作流督办软件的开发及应用[J].科技信息,2008(27).
2周理,刘琰.XRes:基于关键字的XML查询引擎[J].科技资讯,2007,5(35):88-89.
3谌志群,周其力.基于综合语义的XML文档相似度计算方法[J].杭州电子科技大学学报（自然科学版）,2009,29(3):64-67.
4乔磊,石冰,赵林.TF&B索引:一种基于结构摘要思想的时态XML索引[J].计算机研究与发展,2007,44(z3):402-407.
5陈金森,原福永,张园园.XML搜索引擎研究[J].图书情报工作,2007,51(1):114-117. 被引量：2
6廖述梅,万常选,徐升华.XML信息检索探究[J].情报学报,2007,26(2):229-234. 被引量：6
7夏立新,庄青青,陈卓群.论XML文档的索引结构设计[J].情报科学,2007,25(9):1378-1383. 被引量：1
8刘敏,白云.从XPath到SQL算法的实现[J].苏州科技学院学报（自然科学版）,2007,24(3):72-76.
9韩忠明,莫倩.有效支持全文本检索的XML索引技术研究[J].计算机工程与应用,2007,43(28):169-172. 被引量：3
10张海辉,周兴社,杨志义,吴小钧,杨刚.面向多自治域网格的信息服务模型及其实现[J].计算机学报,2008,31(1):65-76. 被引量：3

1寇月,申德荣,刘恒,王泰明,聂铁铮,于戈.异构网络中关联实体识别模型及增量式验证算法研究[J].计算机学报,2013,36(10):2096-2108. 被引量：6
2李姗,黄水源.基于XML的WEB信息抽取模型设计[J].微计算机信息,2009(9):207-208. 被引量：5
3既管用又不影响速度的杀毒软件[J].电脑爱好者（普及版）,2011(A02):46-46.
4最困难的Windows7精简[J].电脑爱好者（普及版）,2011(A01):23-23.
5王伟.基于BP神经网络的Web软件质量分析[J].软件导刊,2012,11(2):16-18. 被引量：1
6叶俊,谭庆平,李暾,徐建军.基于层次状态机的方面化特征模块的增量式验证[J].计算机学报,2009,32(9):1773-1781. 被引量：6
7魏世强,黄河燕,陈肇雄.文法理论评述[J].计算机工程与应用,2003,39(1):65-68. 被引量：1
8孔令波,唐世渭,杨冬青,王腾蛟,高军.XML数据索引技术[J].软件学报,2005,16(12):2063-2079. 被引量：55
9任艳娜,郭伟.浅谈数据挖掘技术在市场营销中的应用[J].中国电力教育（下）,2009(12):254-255. 被引量：1
10李桂元.基于数据挖掘技术的三峡库区信息查询系统[J].科学咨询,2009(17):57-58.

计算机研究与发展

2006年第z3期

浏览历史

内容加载中请稍等...

Native XML数据库的增量式验证

参考文献13

二级参考文献2

共引文献54

相关作者

相关机构

相关主题

浏览历史