原创 關係代數運算之rename操作示例
示例1 找出那些掙得比ID爲的教師多的教師的ID和name。其中instructor的schema定義爲 instructor(ID, name, dept_name, salary) 第1步：將instructor重命名爲i和w，即，
2021-04-20 08:00:18
1
原创 1.5 數據模型和數據存儲
數據庫管理系統的用戶最終關心的是某個現實世界中的企業，在數據庫管理系統中存儲的數據描述了該企業的方方面面。比如，在一個大學裏，有學生、教師、課程等實體。在大學數據庫中的數據描述了這些實體及其之間的關係。 一個數據模型就是一個由高級數據描述結
2021-04-12 18:32:48
原创 1.4 數據庫語言
數據庫系統提供了數據定義語言DDL描述數據庫schema，數據操作語言DML來表示數據庫查詢和更新。 在實踐中，DDL和DML不是兩個單獨的語言，而是簡單地構成了一門數據庫語言的部分，比如SQL語言。 幾乎所有的關係數據庫都使用SQL語言。
2021-04-12 18:32:48
原创 1.5 數據庫系統設計
數據庫系統是爲管理大體量信息而設計的。這些大體量信息不是孤立存在的，它們是一些企業運行的一部分，這些企業的終端產品可能是來自數據庫的信息，也可能是數據庫僅在其中起支持作用的一些設備或者服務。 數據庫設計主要是設計數據庫schema。 數據庫
2021-04-12 18:32:48
原创 數據庫系統的目的
數據庫系統的目的 針對文件處理系統保存數據存在的缺點，數據庫系統力求實現如下目標： 減少數據冗餘，保證數據一致 提供方便且高效的方式來訪問數據 建立數據之間的關聯 提供一致性約束保障 提供原子性保障 提供併發數據一致性保障 提供安全保障
2021-04-05 22:44:59
原创 第1.1節 數據庫系統應用
作爲對商業數據計算機化管理的響應，在20世紀60年代出現了最早的數據庫系統。現代的數據庫應用包括有非常複雜的全球型企業。跟現代的數據庫應用相比，那些早期的應用是相對簡單的。 所有的數據庫應用，不管老的還是新的，都共享重要的公共元素。比如數據
2021-04-05 22:44:59
原创 第1.2節 數據庫系統的目的
考慮一個大學組織的某一部分，該部分記錄關於所有教員、學生、院系、課程設置等信息。 在計算機上保存信息的方法之一是在操作系統文件中存儲信息。 爲了支持用戶操作信息，系統有若干個操作文件的應用程序，比如： 增加新的學生、教員以及課程的程序；
2021-04-05 22:44:59
原创 CPU性能分析--上下文切換
內容提要 CPU上下文切換都做了哪些事？ CPU上下文切換都有哪些場景？ 系統調用上下文切換都做了哪些事？ 進程上下文切換都做了哪些事？ 線程上下文切換都做了哪些事？ 中斷上下文切換都做了哪些事？ CPU上下文切換 什麼是CPU上下文
2021-04-02 01:32:38
原创 條件語句的等價描述與證明
如果p，則q 如果p，q q如果p p蘊含q p僅當q p是q的充分條件 q的一個充分條件是p q當p q每當p q是p的必要條件 p的一個必要條件是q q由p得出 q除非 q假定p 如何證明兩個命題等價？ 證明兩個命題有相同的真值
2021-04-02 01:32:38
原创 《What Goes Around Comes Around》讀書筆記
論文下載鏈接 https://people.cs.umass.edu/~yanlei/courses/CS691LL-f06/papers/SH05.pdf 摘要 這篇論文對35年來的數據模型提案進行了總結，分爲9個不同的時期。 我們
2021-04-02 01:32:38
原创 算法-尋找順序統計量
結論 假設所有元素都是互異的，使用RANDOMIZED-SELECT算法可在期望爲線性時間內找到任一順序統計量，特別是中位數。 RANDOMIZED-SELECT算法 RANDOMIZED-SELECT(A, p, r, i) if
2021-04-02 01:32:38
原创 理解join操作 join操作
join操作 爲什麼要給予join操作特殊的關照？ 答：join操作受到了許多關注，存在若干個變形，理由有3個： join操作是關係代數中最有用的操作之一，是聯合來自兩個或者多個關係的信息最常用的操作之一； 雖然一個join可通過sel
2021-04-02 01:32:38
原创 1.6 推理規則
1.6.1 簡介 推理規則是構建有效論證的模板。 推理規則是確定命題真值的一種基本工具。 爲什麼要有推理規則？ 爲了從已知命題推出新命題。 什麼是論證？ 構成：前提+結論 定義：確定一系列命題真值的過程。 什麼是有效論證？ 一個論證是有
2021-04-02 01:32:38
原创 第9章 數論
數論研究的是整數。 問題：爲什麼要研究整數？ 問題：數論有什麼實際價值？ 數論是現代加密技術的基礎，而加密技術使得安全的在線通信成爲可能。 數論也對電子商務很重要。比如，每當你從亞馬遜購買一本書時，或者使用一個PayPal賬戶時，你都依賴
2021-03-22 18:46:40
原创 條件語句的等價命題描述
條件語句p->q的5個等價命題描述 if p，then q p only if q q is necessary for p p is necessary for q q unless 非p 命題1：if p, then q 命題1是假
2021-01-20 01:13:34