交運算(meet)即在格中求兩個元素的下確界的過程。
在布爾代數中,交運算相當于邏輯與運算。在集合論中,交運算相當于交集或并集運算。
交的定義如下:設R1和R2為參加運算的兩個關系,它們具有相同的度n,且相對應的屬性值取自同一個域,則R1 R2為交運算,結果仍為度等于n的關系,其中,交運算的結果既屬于R1,又屬于R2。
參考資料 >
網站地圖 | | 京ICP備2022000368號