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