论文部分内容阅读
针对可扩展标识语言(extensible markup language，XML)与说明描述理论结合的XDD(XML declarative deseripriot)语言是非过程的，只提供解决问题的机制，而不是解决问题的方法，论证了在XDD中应用归结原理解决问题的可行性，证明了归结过程是一个等价变换的过程，给出了求解过程，为求解XML问题提供了一种简洁有效的方法，为建立基于XML的智能信息关系奠定了基础。