2.1 關聯式資料庫的結構
關聯式資料庫由表的集合構成，每個表都有唯一的名字。關係用來指代表，而元組用來時代行。類似地，屬性用來指代表中的列。
對於關係的每個屬性，都存在乙個允許取值的集合，稱為該屬性的域。如果域中的元素被看做是不可再分的單元，則域是原子的。
2.2 資料庫模式
資料庫模式是資料庫的邏輯設計。資料庫例項是給定時刻資料庫中資料的乙個快照。
關係的概念對應於變數的概念，關係模式對應於型別定義的概念。
2.3 碼
起碼是乙個或多個屬性的集合，這些屬性的組合可以使我們在乙個關係中唯一的標識乙個元組。
它們的任意真子集都不能成為超碼，這樣的最小超碼稱為候選碼。
主碼主要用來在乙個關係中區分不同元祖的候選碼。
碼是整個關係的一種性質，而不死單個元祖的性質。
主碼應該選擇那些從不或極少變化的屬性。
乙個關係模式可能在它的屬性中包括另乙個關係模式的主碼。這個屬性在前乙個關係模式上稱作另乙個關係模式的外碼。前乙個關係模式也稱作外碼依賴的參照關係。後乙個關係模式叫做外碼的被參照關係。
參照完整性約束要求在參照關係中任意元組在特定屬性上的取值必然等於被參照關係中某個元祖在特定屬性上的取值。
2.4 模式圖
乙個含有主碼個外碼依賴的資料庫模式可以用作模式圖來表示。
2.5 關係查詢語言
查詢語言可以分為過程化的和非過程化的。在過程化語言中，使用者指導系統對資料庫執行一系列操作以計算出所需結果。在非過程化語言中，使用者只需描述所需資訊，而不用給出獲取資訊的具體過程。
2.6 關係運算
最常用的關係運算是從單個關係中選出滿足一些特定謂詞的特殊元組。
另乙個常用的運算是從乙個關係中選出特定的屬性（列）。
連線運算把分別來自兩個關係的元組對合併成單個元組。通常來說，兩個關係上的自然連線運算所匹配的元組在兩個關係共有的所有屬性上取值相同。
笛卡爾積運算從兩個關係中合併元組，但不同於連線運算的是，其結果包含來自兩個關係元組的對，無論它們的屬性值是否匹配。
σ(選擇) σsalary>=8500(instructor) 返回輸入關係中滿足謂詞的行
∏(投影) ∏id , salary(instructor) 對輸入關係的所有行輸出指定的屬性。從輸出中去除重複的元組
⋈(自然連線) instructor ⋈ department 從兩個輸入關係中輸出這樣的元組對，它們在具有相同名字的所有屬性上取值相同。
x(笛卡兒積) intstructor x department 從兩個輸入關係中輸出所有的元組對(無論它們在共同屬性上的取值是否相同)
u(並) ∏name(instructor) u ∏name(student) 輸出兩個輸入關係中元組的並
第二章 關係模型介紹
以下引用書本 資料庫系統概念 第六版，機械工業出版社 關聯式資料庫由表 table 的集合構成的，每個表都有唯一的名字 表 表示資料和資料間的聯絡，是一種關係 行 表示一組值之間的聯絡 列 屬性，儲存同一型別的資料 域 屬性的取值範圍 空 表示值是未知或不存在 關係例項 表示乙個關係的特定例項，包含...
第二章 過程模型
基於構件的開發，併發模型，演化過程模型，形式化過程模型，通用過程模型，增量過程模型，慣用過程模型，過程模式。2.1通用過程模型 在軟體過程中，技術工作的層次包括活動，活動由動作構成，動作由任務組成。過程定義為在工作產品構建過程中，所需完成的工作活動，動作和任務的集合。這些活動，動作，任務中的每乙個都...
第二章 初等模型
1.席位分配 a 問題描述 三個系學生共200名 甲系100 乙系60，丙系40 代表會議共20席，按比例分配，三個系分別為10，6，4席。b 問題存在 現因學生轉系，三系人數分別變為 103，63，34.問20個席位如何分配？才能使得盡量 公平 c 解決方法 提出不同的假設，進行不同方法的討論，對...