讀SQL進階教程筆記12_地址與三值邏輯

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

1. SQL和資料庫都在極力提升數據在表現層的抽象度,以及對用戶隱藏物理層的概念 2. 關係模型是為擺脫地址而生的 2.1. “地址”不僅包括指針操作的地址,還包括數組下標等 3. 一個優雅的數據結構勝過一百行雜耍般的代碼 3.1. 精巧的數據結構搭配笨拙的代碼,遠遠好過笨拙的數據結構搭配精巧的代碼 ...


1. SQL和資料庫都在極力提升數據在表現層的抽象度,以及對用戶隱藏物理層的概念

2. 關係模型是為擺脫地址而生的

2.1. “地址”不僅包括指針操作的地址,還包括數組下標等

3. 一個優雅的數據結構勝過一百行雜耍般的代碼

3.1. 精巧的數據結構搭配笨拙的代碼,遠遠好過笨拙的數據結構搭配精巧的代碼

4. 編程中泛濫的地址

4.1. 我們可以使用的只有馮·諾依曼型電腦,它不僅使用地址管理數據,而且要求運行於其上的程式也要這樣

4.2. 變數

4.2.1. 它正是編程語言中地址的化身

4.3. 對象

4.3.1. 仍是由OID這樣的地址來管理的

4.4. 與SQL一樣不使用變數的語言還有Lisp

4.4.1. 一種年齡僅次於Fortran的高級語言

4.4.2. 聲明式語言SQL和函數式語言Lisp在當今的編程世界里都處於邊緣,而且從來沒有成為主流語言過

4.4.3. SQL和函數式語言有很多的共同點

5. 三值邏輯

5.1. 歷史上最早提出三值邏輯(three-valued-logic)體系的是波蘭的著名邏輯學家盧卡西維茨(Jan Lukasiewicz, 1878—1956)

5.1.1. 用來表達第三個值的分類其實包含在Codd提出的“未知”分類里

5.1.2. 對未來不確定性的描述,沒有Codd提出的“不適用”的含義

5.1.3. 我認為,明年的某一個時間點(比如12月21日正午)我是否在華沙,在今天這一天看來無法肯定也無法否定,這並不矛盾。因此在指定的時間點我也許在華沙這件事是可能的,但卻不是必然的。進而,“明年的12月21日正午我也許在華沙”這個命題,在今天這一天看來既不可能是真也不可能是假。……因此,在今天這一天,這個命題的值只能是一個全新的值,不同於表示真的數值“1”,也不同於表示假的數值“0”。我們可以用“1/2”來表示這個值。它的含義是“可能”,它是和“真”“假”併列的第三個值。

5.1.4. 命題的作用其實不在於表達事實,而在於反映人們對這件事實的認知

5.1.4.1. 命題其實不存在於客觀世界,而存在於我們的內心

5.2. 古典邏輯學最受批判的理論是排中律(A∨¬ A),以及支撐它的二值原理

5.2.1. “A或者非A總有一個成立”

5.2.2. “一個命題必然有真假”

5.3. SQL採用的三值邏輯屬於非古典邏輯這一比較新的邏輯學流派

5.3.1. 從提出這樣一個心理學式命題理論的貢獻來看,邏輯學家盧卡西維茨確實可以說是Codd的前輩,為關係資料庫奠定了理論基礎

5.4. 允許三個以上的真值的多值邏輯學(many-valued logic)的研究也在進行中

5.4.1. 沒有神的邏輯學——人類的邏輯學誕生了


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

-Advertisement-
Play Games
更多相關文章
  • 作者:馬佩 鏈接:https://juejin.cn/post/7146016771936354312 場景 當我們業務資料庫表中的數據越來越多,如果你也和我遇到了以下類似場景,那讓我們一起來解決這個問題 數據的插入,查詢時長較長 後續業務需求的擴展 在表中新增欄位 影響較大 表中的數據並不是所有的 ...
  • 大家好,我是陶朱公Boy。(一個認真生活總想超越自己的程式員) 一線互聯網Java技術專家,有超過8年+後端開發、架構經驗。公眾號:「陶朱公Boy」歡迎大家關註! 星球簡介 一個幫你學編程、做項目、找工作少走彎路的交流圈,進步從此開始! 加入後你可以: 1.獲取陶朱公原創編程學習路線、原創編程知識庫 ...
  • 1. 示例 首先,定義一個介面: public interface Staff { void work(); } 然後,新增一個類並實現上面的介面: public class Coder implements Staff { @Override public void work() { System ...
  • 隨著技術的發展,ASP.NET Core MVC也推出了好長時間,經過不斷的版本更新迭代,已經越來越完善,本系列文章主要講解ASP.NET Core MVC開發B/S系統過程中所涉及到的相關內容,適用於初學者,在校畢業生,或其他想從事ASP.NET Core MVC 系統開發的人員。 經過前幾篇文章... ...
  • 寫在前面 本文將會介紹WPF如何實現前後端數據綁定和在進行數據綁定時常用的方法和類以及對於DataGrid、ListView這樣的控制項重寫數據模板後控制項如何進行數據綁定。 本文主要針對於數據綁定的基礎實現進行介紹,通過此博文你將會有能力編寫一個MVVM設計模式的C#、WPF項目。如果您是C#及WPF ...
  • .NET 實現JWT登錄認證 在ASP.NET Core應用程式中,使用JWT進行身份驗證和授權已成為一種流行的方式。JWT是一種安全的方式,用於在客戶端和伺服器之間傳輸用戶信息。 添加NuGet包 首先,我們需要添加一些NuGet包來支持JWT身份驗證。在您的ASP.NET Core項目中,打開S ...
  • 0.linux的目錄結構 1.用戶和用戶組的信息存儲 1.1. 用戶的基本信息文件/etc/passwd 1.1.1. 用戶名 1.1.2. 密碼 1.1.3. UID 1.1.4. GID 1.1.5. 註釋性描述 1.1.6. 宿主目錄 1.1.7. 預設shell 1.2. 用戶的密碼信息文件 ...
  • 1、線上伺服器導出requirement.txt pip freeze > requirement.txt 該文件生成完畢後,需要做些修改,去掉不需要的庫,否則下載的時候會出錯。 2、下載whl文件 -> packages pip download -r requirement.txt -d pac ...
一周排行
    -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.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...