随着电子商务、电子政务等网络应用需求的不断增长,可扩展标志语言数据库(Extensible Markup Language Database,XML Database)技术成为了现代数据库技术的重要研究领域之一。为了实现对多源异构数据信息的有效管理,XML数据库必须拥有完善的类型系统和灵活的类型处理机制,因此XML数据库技术的迅速发展,直接推动了对XML类型系统的研究与开发。基于目前XML类型处理问题的研究现状,对XML数据库类型系统的形式化建模、类型验证和类型检验等问题进行了研究探讨。首先采用一种基于类型原理的形式建模技术创建了一个基于XML模式(XML Schema)的XML类型系统形式化模型,给出了整个模型的形式化描述,并对模型进行了扩展,通过对扩展模型的应用实例分析体现了该模型易于扩展、实用性强等优点。针对XML数据库类型验证问题,对几种XML Schema类型验证方法进行了分析与比较,然后选择其中一种基于树自动机的类型验证方法进行深入研究,指出该方法所用算法存在局限性,继而对算法提出了改进,分析了改进后算法的正确性和复杂度。针对XML数据库类型检验问题,以基于文档类型定义(Document Type Definition,DTD)的XML类型检验的研究为基础,对基于XML Schema的类型检验问题的可确定性和检验算法进行了讨论,证明只有对发布或转换程序的处理能力加以限制后,一些可确定的基于DTD的类型检验问题在基于XML Schema时才可确定,最后将两个基于DTD的类型检验算法引入基于XML Schema的类型检验中,分析了算法的适用范围和复杂度。最后为XML数据库XDM的类型处理系统提出总体设计方案,基于已改进的类型验证算法实现了XML Schema类型验证,采用引入的类型验证算法实现了XQuery中的类型检验。