數(shù)據(jù)庫原理與應(yīng)用 課件 第2章 2.5關(guān)系系統(tǒng)

1關(guān)系系統(tǒng)：關(guān)系系統(tǒng)的定義關(guān)系系統(tǒng)的分類2.5

關(guān)系系統(tǒng)2關(guān)系系統(tǒng)（關(guān)系數(shù)據(jù)庫系統(tǒng)）：支持關(guān)系模型的數(shù)據(jù)庫管理系統(tǒng)。1．關(guān)系系統(tǒng)的定義一個系統(tǒng)可定義為關(guān)系系統(tǒng)，當(dāng)且僅當(dāng)它支持：（1）關(guān)系數(shù)據(jù)結(jié)構(gòu)。（2）支持選擇、投影和（自然）連接運算。對這些運算不必要求定義任何物理存取路徑。2.5.1

關(guān)系系統(tǒng)定義31）表式系統(tǒng)：僅支持數(shù)據(jù)結(jié)構(gòu)，不能算關(guān)系系統(tǒng)。2）(最小)關(guān)系系統(tǒng)：數(shù)據(jù)結(jié)構(gòu)+三種關(guān)系操作。3）關(guān)系完備的系統(tǒng):數(shù)據(jù)結(jié)構(gòu)+所有關(guān)系代數(shù)操作。4）全關(guān)系系統(tǒng)：支持關(guān)系模型的所有特征。

S:數(shù)據(jù)結(jié)構(gòu)M:數(shù)據(jù)操作I:完整性約束

SMIMISSIMSIM2.5.2

關(guān)系系統(tǒng)分類4準(zhǔn)則0：一個關(guān)系型的DBMS必須能完全通過它的關(guān)系能力來管理數(shù)據(jù)庫。

一個關(guān)系型DBMS的關(guān)系能力包括屬性指定、元組選擇、插入和刪除、關(guān)系合并以及數(shù)據(jù)完整性和并發(fā)控制等，準(zhǔn)則0指出，一個RDBMS必須能完全通過這些關(guān)系能力來管理數(shù)據(jù)庫，而不需要用戶介入。*2.5.3

全關(guān)系系統(tǒng)的12條基本準(zhǔn)則5

準(zhǔn)則1：信息準(zhǔn)則。

準(zhǔn)則2：保證訪問準(zhǔn)則。

準(zhǔn)則3：空值的系統(tǒng)化處理。

準(zhǔn)則4：基于關(guān)系模型的動態(tài)的聯(lián)機數(shù)據(jù)字典。

準(zhǔn)則1-4保證數(shù)據(jù)庫完整性*2.5.3

全關(guān)系系統(tǒng)的12條基本準(zhǔn)則6

準(zhǔn)則5：統(tǒng)一的數(shù)據(jù)子語言。

準(zhǔn)則6：視圖更新準(zhǔn)則。

準(zhǔn)則7：高級的插入、修改和刪除操作。

準(zhǔn)則5-7保證數(shù)據(jù)庫操作*2.5.3

全關(guān)系系統(tǒng)的12條基本準(zhǔn)則7

準(zhǔn)則8：數(shù)據(jù)物理獨立性。

準(zhǔn)則9：數(shù)據(jù)邏輯獨立性。

準(zhǔn)則10：數(shù)據(jù)完整性的獨立性。

準(zhǔn)則11：分布獨立性。

準(zhǔn)則12：無破壞準(zhǔn)則。準(zhǔn)則