描述了Mathematica中的表与数据库关系模式上的属性集、函数依赖集之间的对应关系.实现了属性集运算的Mathematica表.给出了数据库关系模式中计算属性集闭包、求解候选关键字的M函数。
The paper presents the corresponding relation between the list in Mathematica and the sets of attrlbute,the sets of functional dependence on relation schema, implements the operations of sets of attribute with the lists in Mathematical,and gives several M functions for calculating the closure of attribute sets and finding one candidate key.