论文部分内容阅读
以形式化语言给出了本质属性、附属属性、限定性属性等术语的定义，研究了它们的性质与内在联系，给出了属性集的一种新的分类方法。结合对属性子集的一种新运算，特别讨论了本质属性的特征，并以此对IDEF5中种类的概念做了形式化修正。同时，研究发现，在本质属性为多个时，只需保留一条，其他任何一条本质属性既是可约属性也是不必要属性，而本质属性的判定简便易行，在利用相关算法进行属性约简之前可以先剔除部分属性。最后，以实例表明了这样预处理的优越性。