XML模式的结构规范化研究

摘要

关于可扩展标识语言XML的模式规范化研究主要是针对其语义方面,但在实际应用中存在另一类问题:结构规范化.在分析了XML模式设计中结构上存在的两类问题后,提出了XML模式规范化在结构层面上的结构有效性和结构良好性规范.模式的结构有效性确保了XML模式能够被实例化,模式的结构良好性确保了模式定义中的所有元素定义是有意义的,即元素定义都能被实例化.最后,利用元素关系图探讨了结构有效性和结构良好性的判定定理和方法.XML模式的结构规范化是对现有XML模式规范化问题一个有益的补充.