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