怀化学院学报
懷化學院學報
부화학원학보
JOURNAL OF HUAIHUA TEACHERS COLLEGE
2012年
5期
27-30
,共4页
函数依赖集的闭包%Armstrong公理%子集
函數依賴集的閉包%Armstrong公理%子集
함수의뢰집적폐포%Armstrong공리%자집
closure of functional dependency set%Armstrong's axioms%subset
通过实例研究,定义了一个特定的关系模式,并称它为传递依赖关系模式.在传递依赖关系模式下,得出了计算函数依赖集的闭包中函数依赖的个数的公式,并依照具体实例设计了计算函数依赖集的闭包中所有函数依赖的算法,在此算法中,设计了多种计算属性集所有子集的算法.
通過實例研究,定義瞭一箇特定的關繫模式,併稱它為傳遞依賴關繫模式.在傳遞依賴關繫模式下,得齣瞭計算函數依賴集的閉包中函數依賴的箇數的公式,併依照具體實例設計瞭計算函數依賴集的閉包中所有函數依賴的算法,在此算法中,設計瞭多種計算屬性集所有子集的算法.
통과실례연구,정의료일개특정적관계모식,병칭타위전체의뢰관계모식.재전체의뢰관계모식하,득출료계산함수의뢰집적폐포중함수의뢰적개수적공식,병의조구체실례설계료계산함수의뢰집적폐포중소유함수의뢰적산법,재차산법중,설계료다충계산속성집소유자집적산법.
This paper defines a specific relational schema that is called transitive dependency relational schema, according tostudying a case. Based on the transitive dependency relational schema, the paper proves a formula for computing the number of functional dependencies in the closure of functional dependency set and designs an algorithm for computing all functional dependencies in the closure of functional dependency set. In the algorithm, the paper also designs some algorithms for computing all subsets of attribute set.