資料庫系統複習名詞概念、釋義

一、緒論
資料：描述事物的符號記錄稱為資料。
資料庫：資料庫是長期儲存在計算機內、有組織的、可共享的大量資料的集合。資料庫的資料按照一定的資料模型組織、描述和儲存，具有較小的冗餘度、較高的資料獨立性和易擴充套件性，並可為各種使用者共享。
資料庫管理系統：是和作業系統一樣是計算機的基礎軟體。
資料庫系統：由資料庫、資料庫管理系統、應用程式和資料庫管理員組成的儲存、管理、處理和維護資料的系統。

實體：客觀存在並可相互區別的事物稱為實體。
實體型：用實體名及其屬性名集合來抽象和刻畫同類實體。
實體集：同一型別實體的集合

關係：一個關係對應通常說是一張表。
屬性：表中的一列即為一個屬性
域：域是一組具有相同資料型別的值的集合。
元組：表中的一行即為一個元組。
碼：也稱碼鍵。可以唯一確定一個學生，就是這個關係的碼。
分量：元組中的一個屬性值
關係模式：對關係的描述

模式：也稱邏輯模式，是資料庫中全體資料的邏輯結構和特徵的描述，是所有使用者的公共資料檢視。
外模式：也稱子模式或使用者模式，他是資料庫使用者能夠看見和使用的區域性資料邏輯結構和特徵的描述，是資料庫使用者的資料檢視，與某一應用有關的資料邏輯表示。
內模式：也稱儲存模式一個數據庫只有一個內模式，他是物理結構與儲存方式的描述，是資料在資料庫的內部的組織方式。
資料定義語言：
資料操縱語言：

二、關係資料庫
笛卡爾積：域上的一種集合運算。一個域允許不同取值個數稱為這個域的基數。

主碼：一個關係有多個候選碼，則選定一個成為主碼。
候選碼：某一屬性組的 值能唯一的標識一個元組，而其子集不能，則稱該屬性組為候選碼。
外碼：如果一個關係中的一個屬性是另外一個關係中的主碼則這個屬性為外碼。

關係資料庫：是建立在關係資料庫模型基礎上的資料庫。

六、關係資料理論
函式依賴：某個屬性集決定另一個屬性集時，稱另一屬性集依賴於該屬性集。
部分函式依賴：部分函式依賴（partial functional dependency）是一個數學用語。在關係模式R(U)中，如果X→Y，並且存在X的一個真子集X0，使得X0→Y，則稱Y對X部分函式依賴。
完全函式依賴：完全函式依賴(Full functional dependency)：在一個關係中，若某個非主屬性資料項依賴於全部關鍵字稱之為完全函式依賴。
傳遞依賴：傳遞函式依賴屬於關係模式R(U)，在關係模式R(U)中，設X，Y，Z是U的不同的屬性子集。
候選碼：若關係中的一個屬性或屬性組的值能夠唯一地標識一個元組，且他的真子集不能唯一的標識一個元組，則稱這個屬性或屬性組做候選碼。
超碼：如果U部分函式依賴於K，既K——》（p）U，則K稱為超碼。候選碼是最小的超碼，既K的任意一個真子集都不是候選碼。

INF：作為一個二維表，關係要符合一個最基本的條件：每一個分量必須是不可分的資料項。滿足這個條件的關係模式就屬於第一正規化。
2NF：若R∈1NF，且每個非主屬性完全函式依賴於任何一個候選碼，則R∈2NF。
3NF：設關係模式R<U,F>∈1NF,若R中不存在這樣的碼X，屬性組Y及非主屬性Z（Y∉Z）使得X→Y，Y→（不指向）Z成立，則R<U,F>∈3NF.
BCNF：關係模式R<U，F>∈1NF,若X→Y且Y∉Z時X必含有碼，則R<U，F>∈BCNF.
多值依賴：多值依賴屬4nf的定義範圍，比函式依賴要複雜得多。在關係模式中，函式依賴不能表示屬性值之間的一對多聯絡，這些屬性之間有些雖然沒有直接關係，但存在間接的關係，把沒有直接聯絡、但有間接的聯絡稱為多值依賴的資料依賴。
4NF：就是限制關係模式的屬性之間不允許有非平凡且非函式依賴的多值依賴。

七、資料庫設計
實體：客觀存在並可相互區別的事物。
實體型：用實體名及其屬性名集合來抽象和刻畫同類實體，稱為實體型
實體集：同一型別實體的集合。
屬性：實體所具有的某一特徵。
碼：唯一標識實體的屬性集。
實體-關係圖（E-R圖）：概念模型的表示方法很多，最常用的為實體-聯絡方法(Entity-Relationship approach），該方法用E-R圖來描述概念模型。E-R方法也成為E-R模型