1. 1969年

1.1. 關系模型的創始人E.F. Codd（1923—2003）

1.2. 論文《大型資料庫中關系存盤的可推導性、冗余與一致性》

2. 1970年

2.1. 權威學術雜志Communications of ACM

2.2. Codd《大型共享資料庫的關系模型》

3. 主要貢獻

3.1. 定義了關系運算（relational calculus）

3.2. 定義了關系代數（relational algebra）

3.3. 采用謂詞邏輯作為資料庫操作的基礎

4. 阻抗不匹配

4.1. 面向物件語言和關系資料庫不一致的問題

5. 為什么叫它關系模型，而不叫它表（tabular）模型

5.1. 關系中不允許存在重復的元組（tuple），而表中可以存在

5.2. 關系是通常說的不允許存在重復元素的集合，而表是多重集合（multiset）

5.3. 關系中的元組沒有從上往下的順序，而表中的行有從上往下的順序

5.4. 關系中的屬性沒有從左往右的順序，而表中的列有從左往右的順序

5.5. 關系中所有的屬性的值都是不可分割的，而表中列的值是可以分割的

5.6. 關系中的屬性滿足第一范式，而表中的列不滿足第一范式

6. 術語對應關系

6.2. 關系模型是以數學中的集合論為基礎的，因此沿用了集合論的一些術語

6.3. 定義域是關系模型在誕生之際就存在的一個重要的關鍵詞

6.4. 如果無法確定定義域的話，關系就無法確定了

6.5. SQL-92標準終于增加了定義域這一功能

7. 關系的定義

7.1. R ?（D1×D2×D3 · · · ×Dn）

7.2. 關系用符號R表示，屬性用符號Ai表示，屬性的定義域用符號Di表示

7.3. 元組個數為0的關系也是滿足定義的

8. 關系值和關系變數

8.1. 值（value）和變數（variable）是很容易混淆的概念

8.2. 一般提到“關系”這個詞時，如果不加特殊說明，指的都是“關系變數”

8.3. 關系值指的是關系變數在某一時刻取的值

9. 關系的關系

9.1. 在邏輯上是可能存在的

9.2. 為此必須定義能夠使定義域包含關系的謂詞，而且如果再考慮對關系的量化，就需要實作二階謂詞邏輯，因此實作“關系的關系”非常困難

9.3. 包含關系的列（屬性）叫作關系值屬性（relation-valued attribute）

9.4. 標準SQL語言已經支持了陣列型別和集合型別的變數

9.5. 關系模型正朝著能夠處理復合型資料的方向發展

9.6. C.J. Date等人斷言：真正的關系系統就是支持關系值等全部復合型資料的系統

10. 封閉性

10.1. closure property

10.2. 運算的輸入和輸出都是關系

10.3. 保證關系世界永遠封閉

10.4. 關系的封閉性與UNIX中管道的概念很像

10.5. 在UNIX系統中

11. 集合型別

11.1. 群（group）：對加法和減法（或者乘法和除法）封閉

11.2. 環（ring）：對加法、減法、乘法封閉

11.3. 域（filed）：對加法、減法、乘法、除法封閉，即可以自由進行四則運算

11.4. 這些對某種運算封閉的集合在數學上稱為“代數結構”

11.5. 布林值的集合{true, false} 也是域

11.6. 關系可以理解為“能自由進行四則運算的集合”

轉載請註明出處，本文鏈接：https://www.uj5u.com/shujuku/550070.html

標籤：其他

讀SQL進階教程筆記11_關系資料庫基礎

1. 1969年

1.1. 關系模型的創始人E.F. Codd（1923—2003）

1.2. 論文《大型資料庫中關系存盤的可推導性、冗余與一致性》

2. 1970年

2.1. 權威學術雜志Communications of ACM

2.2. Codd《大型共享資料庫的關系模型》

3. 主要貢獻

3.1. 定義了關系運算（relational calculus）

3.2. 定義了關系代數（relational algebra）

3.3. 采用謂詞邏輯作為資料庫操作的基礎

4. 阻抗不匹配

4.1. 面向物件語言和關系資料庫不一致的問題

5. 為什么叫它關系模型，而不叫它表（tabular）模型

5.1. 關系中不允許存在重復的元組（tuple），而表中可以存在

5.2. 關系是通常說的不允許存在重復元素的集合，而表是多重集合（multiset）

5.3. 關系中的元組沒有從上往下的順序，而表中的行有從上往下的順序

5.4. 關系中的屬性沒有從左往右的順序，而表中的列有從左往右的順序

5.5. 關系中所有的屬性的值都是不可分割的，而表中列的值是可以分割的

5.6. 關系中的屬性滿足第一范式，而表中的列不滿足第一范式

6. 術語對應關系

6.2. 關系模型是以數學中的集合論為基礎的，因此沿用了集合論的一些術語

6.3. 定義域是關系模型在誕生之際就存在的一個重要的關鍵詞

6.4. 如果無法確定定義域的話，關系就無法確定了

6.5. SQL-92標準終于增加了定義域這一功能

7. 關系的定義

7.1. R ?（D1×D2×D3 · · · ×Dn）

7.2. 關系用符號R表示，屬性用符號Ai表示，屬性的定義域用符號Di表示

7.3. 元組個數為0的關系也是滿足定義的

8. 關系值和關系變數

8.1. 值（value）和變數（variable）是很容易混淆的概念

8.2. 一般提到“關系”這個詞時，如果不加特殊說明，指的都是“關系變數”

8.3. 關系值指的是關系變數在某一時刻取的值

9. 關系的關系

9.1. 在邏輯上是可能存在的

9.2. 為此必須定義能夠使定義域包含關系的謂詞，而且如果再考慮對關系的量化，就需要實作二階謂詞邏輯，因此實作“關系的關系”非常困難

9.3. 包含關系的列（屬性）叫作關系值屬性（relation-valued attribute）

9.4. 標準SQL語言已經支持了陣列型別和集合型別的變數

9.5. 關系模型正朝著能夠處理復合型資料的方向發展

9.6. C.J. Date等人斷言：真正的關系系統就是支持關系值等全部復合型資料的系統

10. 封閉性

10.1. closure property

10.2. 運算的輸入和輸出都是關系

10.3. 保證關系世界永遠封閉

10.4. 關系的封閉性與UNIX中管道的概念很像

10.5. 在UNIX系統中

11. 集合型別

11.1. 群（group）：對加法和減法（或者乘法和除法）封閉

11.2. 環（ring）：對加法、減法、乘法封閉

11.3. 域（filed）：對加法、減法、乘法、除法封閉，即可以自由進行四則運算

11.4. 這些對某種運算封閉的集合在數學上稱為“代數結構”

11.5. 布林值的集合{true, false} 也是域

11.6. 關系可以理解為“能自由進行四則運算的集合”