直觀上，元組關係演算alpha中的存在量詞和全稱量詞並不太好理解。本文雖對其做了一定的解釋，但是依然可能顯得不夠。建議大家最好結合表實際演算，增加大家的直覺。
取定學生關係student中的乙個元組，設為t，現對元組t進行判斷；
若選修關係x（即選修關係sc）中存在乙個元組s，使得s.sno=t.sno成立而且s.cno='2'成立，則元組t滿足要求，並按要求輸出元組t的相關屬性值（學生姓名）。
按照1，2遍歷學生關係student中的每乙個元組。
簡而言之，該學生在選修關係中，存在乙個選修2號課程的元組記錄。
取定學生關係student中的乙個元組，設為t，現對元組t進行判斷；
若選修關係scx（即選修關係sc）中任意乙個元組s，都有要麼s.sno≠t.sno成立，要麼s.sno=t.sno但是s.cno≠'1'成立，則元組t滿足要求，並按要求輸出元組t的相關屬性值（學生姓名）。
按照1，2遍歷學生關係student中的每乙個元組。
簡而言之，對任意乙個選修，該學生的選修的課程號都不等於1。
取定學生關係student中的乙個元組，設為t，現對元組t進行判斷；
若課程關係cx（即課程關係course）中任意乙個元組s，都有（在選修關係中存在乙個元組v，使得v.sno=t.sno成立而且v.cno=s.cno成立），則元組t滿足要求，並按要求輸出元組t的相關屬性值（學生姓名）。
按照1，2遍歷學生關係student中的每乙個元組。
簡而言之，對任意一門課程，該學生在選修關係中，都存在乙個選了該課的元組記錄。
取定學生關係student中的乙個元組，設為t，現對元組t進行判斷；
若課程關係cx（即課程關係course）中任意乙個元組s，都有（若在選修關係中存在乙個元組v1，使得v1.sno=『s3』成立而且v1.cno=s.cno成立時，能推出，在選修關係中存在乙個元組v2，使得v2.sno=t.sno成立而且v2.cno=s.cno成立），則元組t滿足要求，並按要求輸出元組t的相關屬性值（學生學號）。
按照1，2遍歷學生關係student中的每乙個元組。
簡而言之，對任意一門課程，若學生's3'在選修關係中，都存在乙個選了該課的元組記錄，則一定有該學生也存在乙個選了該課的元組記錄。
資料庫系統概論02 關聯式資料庫
笛卡爾積 a b 假設集合a 集合b 則兩個集合的笛卡爾積為。候選碼 關係中的某一屬性組的值能唯一標識乙個元組，而其子集不能。主碼 候選碼中選乙個 全碼 關係模式的所有屬性是這個關係模型的候選碼。關係的三種型別 基本關係 基本表 查詢表 檢視表 查詢 query 選擇 select 投影 proje...
資料庫系統概論 關聯式資料庫理論（2）
定義 對於滿足一組函式依賴f的關係模式r，其任何乙個關係r，若函式依賴x y都成立，則稱f邏輯蘊含x y。armstrong公理系統 設u為屬性集總體，f是u上的一組函式依賴，浴室有關係模式r。對r來說有以下的推理規則 1 自反律 若y包含於x包含於u，則x y為f所蘊含。2 增廣律 若x y為f所...
關係資料庫系統
關係資料庫系統的發展歷史 關係資料模型 資料模型 資料結構 資料操作 完整性約束 資料結構 層次，網狀，關係，物件 資料操作 ddl，dml 完整性約束 實體完整性 主鍵存在，參照完整性 外來鍵引用存在，使用者定義完整性 關係資料模型 關係資料結構 資料操作 完整性約束 關係模型的資料結構和基本術語...