Keywords constraint, XML schema, data dependency, normalization, inference rules, implication and cover;

• 约束;XML模式;数据依赖;规范化;推理规则;蕴涵与覆盖;