18143453325 在线咨询 在线咨询
18143453325 在线咨询
所在位置: 首页 > 营销资讯 > 信息时代 > 格(数据库)

格(数据库)

时间:2022-12-22 16:30:01 | 来源:信息时代

时间:2022-12-22 16:30:01 来源:信息时代

    格 : 既是一种特殊的偏序集(见二元关系),又可以等价地转换成一种有两个二元运算的代数系统。
(1)偏序格: 任何两个元素都有最小上界和最大下界的偏序集。例如,〈P(A),〉是格,其中P(A)是集合A的幂集; 〈Sn,|〉是格,其中n为正整数,Sn为n的正因子集合,|是整除关系。
设〈L, ≼〉为格, 在L中引入两个二元运算:∀a, b∈L, a与b的最小上界记为a∨b, 最大下界记为a∧b。这样得到有两个二元运算的代数系统〈L, ∧, ∨〉, 它具有性质: ①幂等律: ∀a∈L,a∨a=a, a∧a=a; ②交换律: ∀a, b∈L, a∨b=b∨a, a∧b=b∧a; ③结合律: ∀a, b, c∈L, a∨(b∨c)=(a∨b)∨c,a∧(b∧)c=(a∧b)∧c;④吸收律:∀a,b∈L,a∧(a∨b)=a,a∨(a∧b)=a。
(2)代数格: 二元运算∨与∧满足交换律,结合律和吸收律的代数系统〈L,∨,∧〉。给定偏序格〈L, ≼〉, 则可得到一个代数格〈L, ∨, ∧〉。反之,给定代数格〈L, ∨, ∧〉, 在L上定义偏序关系≼如下: ∀a,b∈L, a≼b当且仅当a∧b=a(或a∨b=b)。那么,∀a, b∈L, a∨b和a∧b分别为a与b关于≼的最小上界和最大下界,从而〈L, ≼〉构成一个偏序格。于是,每个偏序格能诱导出一个代数格; 反之,每个代数格有一个偏序格与之对应。也就是说,这两种格是等价的,把它们统称为格。
例如,偏序格〈Sn,|〉对应的代数格为〈Sn,1cm,gcd〉,其中1cm(x,y)和gcd(x,y)分别是x和y的最小公倍数和最大公约数。图1给出偏序格〈S24,|〉的哈斯图。 偏序格〈P(A), 〉称作幂集格, 对应的代数格为〈P(A)),∪,∩〉。


图1 偏序格〈S24,|〉


(3)格的对偶原理: 设f是含格中元素及符号=,≼,≽, ∨, ∧ 的公式, 将f中的≼替换成≽、≽替换成≼、 ∨替换成∧、 ∧替换成∨所得到的公式记作f*,称作f的对偶式。那么,若f为真,则f*为真。
(4)分配格: 如果在格〈L,∨,∧〉中,∨对∧和∧对∨都满足分配律:∀a, b, c∈L, a∧(b∨c)=(a∧b)∨(a∧c); a∨(b∧c)=(a∨b)∧(a∨c),则称这个格是分配格。
(5)有界格:在格〈L,≼〉中,a∈L,如果∀b∈L,a≼b, 则称a为L的全下界; 如果∀b∈L, b≼a, 则称a为L的全上界。常将全下界记为“0”,全上界记为“1”。若格L既有全下界、又有全上界,则称L为有界格。有界格常记为〈L,∨,∧,0,1〉。
(6)有补格: 设〈L,∨,∧,0,1〉是一有界格,a∈L,如果b∈L满足a∧b=0和a∨b=1,则称b为a的补元。所有元素都有补元的有界格称作有补格。图2给出了一个有补格的哈斯图,0与1互为补元,b的补元为c和d,c的补元为b和d,d的补元为b和c。


图2 一个有补格


(7)布尔代数: 有补分配格称为布尔代数,记作〈L,∨,∧,~,0,1〉,其中~是补运算符。例如, 幂集格〈P(A), 〉诱导的代数格为布尔代数〈P(A), ∪, ∩, ~, ∅, A〉, 其中~为集合的绝对补(见结合伦)运算,称这个代数为集合代数。又如{0,1}关于模2加法和模2乘法(即,通常的布尔运算)也构成一个布尔代数。

74
73
25
news

版权所有© 亿企邦 1997-2022 保留一切法律许可权利。

为了最佳展示效果,本站不支持IE9及以下版本的浏览器,建议您使用谷歌Chrome浏览器。 点击下载Chrome浏览器
关闭