信息系統(tǒng)屬性粒結(jié)構(gòu)計(jì)算方法

　　針對不可分離信息系統(tǒng)的屬性粒結(jié)構(gòu)計(jì)算問題，提出一種利用分治和增量計(jì)算相結(jié)合的計(jì)算方法。首先，研究了在信息系統(tǒng)函數(shù)依賴集上增加新的函數(shù)依賴（FD）后，信息系統(tǒng)屬性粒結(jié)構(gòu)的變化規(guī)律，證明了信息系統(tǒng)結(jié)構(gòu)增量定理；其次，通過移除部分函數(shù)依賴，使不可分離信息系統(tǒng)成為可分離信息系統(tǒng)，利用分解定理計(jì)算出可分離信息系統(tǒng)結(jié)構(gòu)；然后，將移除的函數(shù)依賴加入可分離信息系統(tǒng)，利用增量定理計(jì)算出原信息系統(tǒng)結(jié)構(gòu)；最后，給出了計(jì)算不可分離信息系統(tǒng)屬性粒結(jié)構(gòu)的算法，分析了算法復(fù)雜度。