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

来源:https://www.cnblogs.com/lying7/archive/2023/04/14/17316782.html
-Advertisement-
Play Games

1. 1969年 1.1. 關係模型的創始人E.F. Codd(1923—2003) 1.1.1. 牛津大學數學專業 1.1.2. 一己之力奠定了關係模型的基礎 1.2. 論文《大型資料庫中關係存儲的可推導性、冗餘與一致性》 2. 1970年 2.1. 權威學術雜誌Communications of ...


1. 1969年

1.1. 關係模型的創始人E.F. Codd(1923—2003)

1.1.1. 牛津大學數學專業

1.1.2. 一己之力奠定了關係模型的基礎

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

2. 1970年

2.1. 權威學術雜誌Communications of ACM

2.2. Codd《大型共用資料庫的關係模型》

2.2.1. 資料庫中不再包含索引,欄位間也沒有順序了

2.2.2. 第一次明確主張關係模型應該在表現層放棄指針

2.2.3. 出現了範式的概念

3. 主要貢獻

3.1. 定義了關係運算(relational calculus)

3.1.1. 關係邏輯(relational logic)

3.2. 定義了關係代數(relational algebra)

3.2.1. 包含選擇、投影、並、交等8種運算

3.2.2. 輸入和輸出都是關係

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

3.3.1. 謂詞邏輯已經成為了邏輯學的標準

4. 阻抗不匹配

4.1. 面向對象語言和關係資料庫不一致的問題

5. 為什麼叫它關係模型,而不叫它表(tabular)模型

5.1. 關係中不允許存在重覆的元組(tuple),而表中可以存在

5.2. 關係是通常說的不允許存在重覆元素的集合,而表是多重集合(multiset)

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

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

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

5.6. 關係中的屬性滿足第一範式,而表中的列不滿足第一範式

6. 術語對應關係

正式的關係模型術語 非正式的日常用語
關係(relation ) 表(table )
元組(tuple ) 行(row )或記錄(record )
勢(cardinality ) 行數(number of rows )
屬性(attribute ) 列(column )或欄位(field )
度(degree ) 列數(number of columns )
定義域(domain ) 列的取值集合(pool of legal values )

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

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

6.4. 如果無法確定定義域的話,關係就無法確定了

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

7. 關係的定義

7.1. R ⊆(D1×D2×D3 · · · ×Dn)

7.1.1. 關係R是定義域D1, D2, …, Dn的笛卡兒積的子集

7.1.2. 笛卡兒積是指“使用各個屬性的定義域生成的組合數最多的集合”

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

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

8. 關係值和關係變數

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

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

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

8.3.1. 值就是變數的時間切片(time-slice)

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系統中

10.5.1. 從設備到控制台,一切都可以當作“文件”來處理

10.5.2. 設備只不過是/dev目錄下的一個普通文件而已

10.5.3. 這也是UNIX系統追求文件的封閉性的結果

10.5.3.1. “泛文件主義”

10.5.3.2. “一切皆文件主義”

11. 集合類型

11.1. 群(group):對加法和減法(或者乘法和除法)封閉

11.2. 環(ring):對加法、減法、乘法封閉

11.3. 域(filed):對加法、減法、乘法、除法封閉,即可以自由進行四則運算

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

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

11.5.1. 如果想要強調布爾型的域的特征,可以稱為布爾域

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

11.6.1. 關係支持加法(UNION)運算和減法(EXCEPT)運算,因此滿足群的條件

11.6.2. 關係還支持相當於乘法運算的CROSS JOIN,所以也滿足環的條件

11.6.3. 關係中沒有除法運算符,所以不滿足域的條件

11.6.4. 除法運算的定義是有的。因此,關係也滿足域的條件


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 我最近幾次被問到關於 ExecutionContext 和 SynchronizationContext 的各種問題,例如它們之間的區別是什麼,“傳播”它們意味著什麼,以及它們與 C# 和 Visual Basic 中新的 async/await 關鍵字的關係。我想我會嘗試在這裡解決其中的一些問題。 ...
  • 前言 HttpClient 是 .NET Framework、.NET Core 或 .NET 5以上版本中的一個類,用於向 Web API 發送 HTTP 請求並接收響應。它提供了一些簡單易用的方法,如 GET、POST、PUT 和 DELETE,可以很容易地構造和發送 HTTP 請求,並處理響應 ...
  • 1、下載redis源碼包,併進行解壓縮操作 https://download.redis.io/releases/ [root@Redis-Ubuntu-1804-p21:~]# wget https://download.redis.io/releases/redis-5.0.14.tar.gz ...
  • 原文: https://www.cnblogs.com/xiao987334176/p/9930517.html 一、介紹Prometheus Prometheus(普羅米修斯)是一套開源的監控&報警&時間序列資料庫的組合,起始是由SoundCloud公司開發的。隨著發展,越來越多公司和組織接受採用 ...
  • 筆記本開啟熱點代理 筆者因為最近在使用rk3588做開發,在編譯opencv的時候需要連網下載一些文件,但是很多時候都以失敗告終,筆者也嘗試過在rk3588上部署clash,但都太過複雜而且耗時,後來嘗試發現可以開啟筆記本的熱點,然後打開筆記本(win10)上的代理,連接的所有設備就都能上網了,今天 ...
  • 哈嘍大家好,我是鹹魚 我相信大家在面試過程中或多或少都會被問到這樣一個問題:你能解釋一下什麼是 socket 嗎 我記得我當初的回答很是淺顯:socket 也叫套接字,用來負責不同主機程式之間的網路通信連接,socket 的表現方式由四元組(ip地址:埠)組成 那麼今天,鹹魚將跟大家打開 sock ...
  • 原標題:【精品博文】MIPI掃盲——D-PHY介紹(一) D-PHY種的PHY是物理層(Physical)的意思,那麼D是什麼意思呢?在MIPI D-PHY的文檔中有提到過,D-PHY的最初版本的設計目標是500Mbits/s,而D是羅馬數字(拉丁文數字)中500 。同理C和M分別是羅馬數字中的10 ...
  • terminal,vi 的使用: 0.進入與使用 用終端進入,相當於windows的cmd. ctrl+alt+T打開終端。 終端命令:ls查看文件夾下的文件 mkdir filename在當前目錄下創造一個文件夾 cd filename 進入某文件夾 . 代表當前目錄 .. 上層目錄 ping i ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...