摘要
键是关系数据库和XML文档中重要的语义表达,是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上,提出XML键的定义,给出XML键的一组完备推理规则集,最后提出了求解键集合最小覆盖的一般指导原则。
Keys are the important semantic representation in XML document which play a fundamental role in XML schema design, A concept of Keys for XML based on XML tree and path language is proposed, and a sound and complete set of inference rules is presented. Finally, a group of reduction principles is given.
出处
《武汉科技学院学报》
2006年第11期68-72,共5页
Journal of Wuhan Institute of Science and Technology
关键词
XML
键
逻辑蕴涵
推理规则
XML
keys
logical implication
inference rule
