计算机科学 ›› 2008, Vol. 35 ›› Issue (9): 165-167.

• • 上一篇    下一篇

XML强函数依赖的推理规则

  

  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    该项目得到黑龙江省自然科学基金资助(F200601).

  • Online:2018-11-16 Published:2018-11-16

摘要: 当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义。本文引入不完全信息环境下XML模式树概念对XML强函数依赖进行了形式化定义;研究了XML强函数依赖的判定条件;给出了XML强函数依赖推理规则,并时推理规则的有效性和完备性进行了证明。

关键词: 不完全信息 XML模式 XML函数依赖 推理规则

Abstract: When XML document comes forth incomplete information, XML functional dependency has also important meaning for the research of key, normal form and integral restriction for XML document. XML strong functional dependency' definition based on the conception

Key words: Incomplete information, XML schema, XML functional dependency, Inference rule

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!