【摘 要】
：
针对native XML数据库的更新操作,提出了一种增量式验证方法,确保更新后的XML数据仍然符合指定模式的约束.基于正则树文法理论,形式化地描述XML模式语言,给出DTD在native XML
【基金项目】
：
天津市科技发展计划基金项目(06YFGZGX05700)
论文部分内容阅读
针对native XML数据库的更新操作,提出了一种增量式验证方法,确保更新后的XML数据仍然符合指定模式的约束.基于正则树文法理论,形式化地描述XML模式语言,给出DTD在native XML数据库中的表示与存储格式.在更新操作过程中,首先检验期望结果是否满足模式的约束;只有在更新操作通过验证的前提下,原始XML数据才允许被修改.由于增量式验证仅涉及到直接受更新操作影响的XML数据片段.因此,与完全重新验证相比,增量式验证可以极大地提高XML数据更新效率.
其他文献
一、由案例和数据引发的思考 案例一：放学路上，一名幼儿园的孩子，背在奶奶的背上，嘴里却不停地骂着：“老不死的老太婆！你不给我买玩具，老太婆！”手用力地砸在奶奶那驮着的背上…… 案例二：一学校对小学生思想道德心理状况进行抽查，抽查数据显示：有的学生景仰影视明星、体育明星，有的学生敬仰科学家、文学家，还有的学生景仰老师，只有少数学生表示景仰自己的父母。 随着独生子女群体的扩大，“6 1”的家庭现
【摘 要】 新课程理念下教师应当转变自己的观念，在给予学生学习评价时要关注于学生的学习过程与学习表现，并且要给予学生有针对性的教学指导。本文对此进行了分析研究，指出：在进行表现性评价时教师首先应当构建合理的评价标准，这是让评价过程能够更为高效的基础；在具体评价过程中应当遵循开放性原则，要鼓励学生思维的多样化，这样才能够帮助学生更灵活的应用学过的知识；教师在给予学生表现性评价时要注重对于学生这方面能
目的:观察血清β-hCG、孕酮值与异位妊娠药物治疗效果的关系.方法:回顾性分析65例异位妊娠患者的临床资料.结果:血清β-hCG＜100μg/L,同时孕酮值＜25nmol/L,药物治疗成功率可达1