基于类型理论的XML类型系统形式化建模

摘要：

利用形式化模型的形式简洁、描述清晰、逻辑性强、易于扩展以及实用性强等优点,运用基于类型理论的逻辑化形式建模技术对XML类型系统进行了形式化建模,实现了对各种XML数据的类型定义和对XML数据处理过程的类型检验,为可直接存储和检索XML数据的XML数据库DM4提供了一种有效的类型系统设计方案.

关键词：XML数据库、XML类型系统、类型理论、逻辑化形式建模

所属期刊栏目：30

分类号：TP311.13(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA423110

在线出版日期：2004-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：45-47