數據庫學習的一天（3）

第五講 1.關係演算：區分元組演算和域演算->元祖演算：關係謂詞是元組   域演算：關係謂詞是域（）畫圈部分則是關係謂詞 2.基本公式：元組演算，t是變量 θ爲邏輯比較符  第四點註釋：即屬於關係R的所有元組存在滿足P(t）或者所有均滿足  運算符優先級爲重點 量詞:分爲存在量詞和全稱量詞，被量詞所約束的是約束變量，否則則是自由變量，第一個括號內放比較範圍，第二個括號裏放比較條件 3.等價性 4.

>>阅读原文<<