| XML键及推理规则 |
| |
| 引用本文： | 邱长春. XML键及推理规则[J]. 武汉科技学院学报, 2006, 19(11): 68-72 |
| |
| 作者姓名： | 邱长春 |
| |
| 作者单位： | 湖北教育学院,计算机与工程系,湖北,武汉,430205 |
| |
| 摘 要： | 键是关系数据库和XML文档中重要的语义表达，是XML模式设计的基础。文章在XML树的定义和路径语言的概念的基础上，提出XML键的定义，给出XML键的一组完备推理规则集，最后提出了求解键集合最小覆盖的一般指导原则。
|
| 关 键 词： | 键 逻辑蕴涵 推理规则 |
| 文章编号： | 1009-5160（2006）-0068-05 |
| 收稿时间： | 2006-09-27 |
| 修稿时间： | 2006-09-27 |
Keys for XML and Reasoning Rules |
| |
| QIU Chang-chun. Keys for XML and Reasoning Rules[J]. Journal of Wuhan Institute of Science and Technology, 2006, 19(11): 68-72 |
| |
| Authors: | QIU Chang-chun |
| |
| Abstract: | 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. |
| |
| Keywords: | XML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
