信息系統(tǒng)的表示及屬性約簡(jiǎn).pdf

1、信息系統(tǒng)是一個(gè)有對(duì)象和屬性關(guān)系的數(shù)據(jù)庫(kù)．一個(gè)數(shù)據(jù)庫(kù)的本質(zhì)是一堆數(shù)據(jù)和這一堆數(shù)據(jù)之間的各種關(guān)系，因此數(shù)據(jù)庫(kù)可以抽象的描述為對(duì)象集和對(duì)象集上的一些二元關(guān)系，根據(jù)這種思想，本文將信息系統(tǒng)表示為一個(gè)二元組，而不是通常的三元組或者四元組，然后在新的表示方式下討論信息系統(tǒng)的屬性約簡(jiǎn)問(wèn)題，主要包括以下幾方面的內(nèi)容：
　　 1.信息系統(tǒng)的表示．首先給出了信息系統(tǒng)新的定義，證明了該表達(dá)方式與以信息函數(shù)表達(dá)的信息系統(tǒng)是等價(jià)的，然后給出了在新的表達(dá)方

2、式下，等價(jià)類、上近似、下近似等基本概念及相關(guān)性質(zhì)和定理．
　　 2.簡(jiǎn)單信息系統(tǒng)的屬性約簡(jiǎn)．首先給出了分離屬性集的定義，然后提出了分明多項(xiàng)式的概念，它是由等價(jià)關(guān)系的補(bǔ)經(jīng)過(guò)有限次并運(yùn)算和交運(yùn)算組成的表達(dá)式，證明了分明多項(xiàng)式由分明析取范式轉(zhuǎn)變成分明合取范式可以確定全部的約簡(jiǎn)，最后提出了極小元法，該算法在一定程度上減少了計(jì)算量．
　　 3.目標(biāo)信息系統(tǒng)的屬性約簡(jiǎn)．給出了目標(biāo)信息系統(tǒng)的定義及相關(guān)基本概念和定理，討論了協(xié)調(diào)和不協(xié)調(diào)