关于传递闭包和函数依赖完备公理系统存在问题研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


ON THE EXISTENCE OF FINITE COMPLETE AXIOMATIZATION FOR TRANSITIVE CLOSURE AND FUNCTIONAL DEPENDENCIES
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    数据依赖在数据库设计中起着十分重要的作用.自Codd提出函数依赖(FDs)、Fagin引入多值依赖(MVDs)后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖(CDs)等.对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完备性公理系统往往具有有效的判定算法为先决条件.本文对CDs和FDs的k元完备公理系统存在问题进行了研究,证明了CDs和FDs不具有共同的k元完备公理系统这一结论.

    Abstract:

    Closure dependencies, or CDs, are introduced to capture formally transitive closure relationships between attributes of a relational schema. The problem of a finite complete axiomatization for the interaction of CDs with functional dependencies (FDs) is investigated, leading to a negative result for the existence of a k-ary axiomatization for CDs and FDs taken together, in which every rule is k-ary for some fixed k.

    参考文献
    相似文献
    引证文献
引用本文

聂培尧.关于传递闭包和函数依赖完备公理系统存在问题研究.软件学报,1994,5(3):37-42

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1991-08-26
  • 最后修改日期:1991-11-15
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号