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

• 作者: 冯玉才 刘丹 班鹏新
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: XML数据库 XML类型系统 类型理论 逻辑化形式建模
• 年，卷（期）: 2004,（12）
• 所属期刊栏目: 基金项目论文
• 页码范围: 45-47
• 页数: 3页
• 分类号: TP311.13
• 字数: 4588字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.12.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯玉才	华中科技大学计算机学院	96	1279	18.0	31.0
2	刘丹	华中科技大学计算机学院	69	317	12.0	14.0
3	班鹏新	华中科技大学计算机学院	8	123	4.0	8.0