基于模式有效产生XML语义约束

Efficiently Deriving Semantic Constraints from XML Schema

文章讨论了XML语义约束的产生问题。首先从约束与模式的关系出发,提出了模式蕴含的概念,论证了当约束被模式所蕴含时,可以从模式中产生而不是文档中产生,从而大大简化了问题。然后,针对四种常见语义约束的产生问题,提出了具体的算法,并研究了复杂性。研究及实验表明,被模式所蕴含的这些约束产生效率很高,它们的复杂性相对于DTD大小来说都是P。

XML semantic constraints have been widely researched already,whereas most of them ignore a basic problem：the derivation of XML semantic constraints,which is the right topic of this paper.This paper investigates the derivation of four common constraints,and studies the corresponding algorithms as well as the complexity,It shows that, as long as the constraints are implied by schema,they can be derived efficiently;actually,the complexity is P with respect to the size of DTD.