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

作者：刘喜平; 万常选xml模式dtd语义约束

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社