其操作的物件和結果都是集合。
插入刪除修改
基本運算
具體:存在關係r
rr、s
ss,a
aa為r
rr的屬性組、b
bb為s
ss的屬性組
並
r ∪s
=r\cup s=\
r∪s=
差
r −s
=r-s=\
r−s=
選擇
σ f(
r)=\}
}投影
π a(
r)
=\pi_a(r)=\
πa(r)
=(t[a]
t[a]
t[a]
即t
tt中相應於a
aa的乙個分量)
笛卡爾積
r ×s
=r \times s=\\limits^\vert t_r\in r \land t_s\in s\}
r×s=
對於域d
1d_1
d1、d
2d_2
d2、…
……、d
nd_n
dn:
d 1×
d2×…
×dn=
d_1 \times d_2 \times … \times d_n=\
d1×d2
×…×
dn=
運算具體:存在關係r
rr、s
ss,a
aa為r
rr的屬性組、b
bb為s
ss的屬性組
串接(連線)
t rt
s⌢
\mathop\limits^
trts
⌢交r∩s
=r\cap s=\
r∩s=
連線(θ連線)
r ⋈a
θbs=
r \join_s=\\limits^\vert t_r\in r \land t_s\in s \land t_r[a]\theta t_s[b]\}
r⋈aθb
s=(θ為比較運算子)
即求笛卡爾積後選取a
aa、b
bb屬性值滿足比較關係θ的元組
當θ為』='時θ連線又叫等值連線
自然連線一種特殊的θ連線比較分量為r
rr、s
ss的同名屬性組,r⋈s
r \join s
r⋈s連線後去掉同名屬性和在s
ss的同名屬性組中無相等值的r
rr中的元組(即懸浮元組)
外連線自然連線:r⋈s
r \join s
r⋈s,保留r
rr和s
ss的懸浮元組
左連線:r
rr⋊s
ss,只保留左側關係r
rr的懸浮元組
右連線:r
rr⋉s
ss,只保留右側關係s
ss的懸浮元組
除r÷s
=r\div s=\
r÷s=
;x
xx、y
yy、z
zz為屬性組,r(x
,y
)r(x,y)
r(x,y)
,s (y
,z
)s(y,z)
s(y,z)
,x =t
r[x]
x=t_r[x]
x=tr[
x],y x=
y_x=\
yx=
上述各種運算進行有限次符合後形成的表示式為關係代數表示式。
指保護 db 以防不合法使用造成的資料洩露、更改或破壞。
2023年我國採用cc為國家標準。
tcsec/tdi從四個方面描述安全性級別劃分的指標:級定義
a1驗證設計
b3安全域
b2安全域
b1? 結構化保護,對標記的主體和客體實施 mac 和審計等安全機制
c2受控的訪問保護
c1自主安全保護,實現 dac
d最小保護級定義
eal7
形式化驗證的設計和測試,相當於a1
eal6
半形式化驗證的設計和測試
eal5
半形式化設計和測試
eal4
系統地設計、測試和複查
eal3
系統地測試和檢查,相當於c2
eal2
結構測試,相當於c1
eal1
功能測試
對無權訪問的使用者隱藏被保密資料。
把使用者對資料庫的所有操作自動記錄並放入審計日誌。審計員可利用審計日誌監控資料庫以對潛在威脅加以預防。
資料庫關係代數
概述 傳統的集合運算 並,差,交,笛卡爾積 專門的關係運算 r和s 具有相同的目n 即兩個關係都有n個屬性 相應的屬性取自同乙個域 r s 仍為n目關係,由屬於r或屬於s的元組組成 r s r和s 具有相同的目n 相應的屬性取自同乙個域 r s 仍為n目關係,由屬於r而不屬於s的所有元組組成 r s...
資料庫 關係代數
目錄 有了資料庫,還要通過查詢來獲得資料。sql是常用的查詢語言,但我想用更抽象的查詢語言來表達,從思路上去理解而忽略實現細節。下面將介紹關係代數。在介紹查詢語言之前,先定義乙個資料庫例項 sailors sid integer,sname string,rating interger,age re...
資料庫 關係代數與關係運算
概述 傳統的集合運算 並,差,交,笛卡爾積 專門的關係運算 r和s具有相同的目n 即兩個關係都有n個屬性 相應的屬性取自同乙個域 r s 仍為n目關係,由屬於r或屬於s的元組組成 r s r和s 具有相同的目n 相應的屬性取自同乙個域 r s 仍為n目關係,由屬於r而不屬於s的所有元組組成 r s ...