约束数据库中的函数依赖公理系统与设计理论
Axiom System of Functional Dependencies and Design Theory in Contraint Databases作者机构：厦门大学计算机科学系福建厦门361005
出 版 物：《厦门大学学报（自然科学版）》 (Journal of Xiamen University：Natural Science)
年 卷 期：2002年第41卷第6期
页 面：692-696页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)]
主 题：设计理论 约束数据库 函数依赖公理系统 模式设计 约束关系模式
摘 要：约束数据模型作为一种新的数据模型正受到广泛关注 .为了约束数据库的应用 ,需要研究它的设计 .为此本文对约束数据库中的函数依赖给出定义 ,并提出函数依赖的公理系统 ,证明了它的有效性和完备性 ;在此基础上完成了约束数据库设计的核心工作 :把约束关系模式分解为
维普期刊数据库
同方期刊数据库