Native XML数据库的增量式验证  

Incremental Validation of Native XML Databases

作　　者：王鑫[1] 袁晓洁[1] 李楠[1] 

机构地区：[1]南开大学计算机科学与技术系,天津,300071 南开大学计算机科学与技术系,天津,300071 南开大学计算机科学与技术系,天津,300071

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

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

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

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

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