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

【Abstract】 Since the formal model has the advantage of concise formalism, perspicuous discription,strong logic,excellent extensibility and high practicability,the paper creates a basic formal model for the XML type system using a particular logical formalism modeling technic based on type thoery, realizes the function of type defining and type validating of XML data ,and provides an efficient design of type systems for the XMLDB DM4 for the purpose of XML data storage and retrieval.更多还原