關(guān)系元組演算
(1)概述
?前面出現(xiàn)過關(guān)系演算形式 如魄幕，并運(yùn)算定義中：R?S = { r | r?R?r?S} 再如，差運(yùn)算定義中：R?S = { r | r?R?r ?S } ?關(guān)系演算是以數(shù)理邏輯中的謂詞演算為基礎(chǔ)的 ?關(guān)系演算是描述關(guān)系運(yùn)算的另一種思維方式 ?SQL語言是繼承了關(guān)系代數(shù)和關(guān)系演算各自的優(yōu)點(diǎn)所形成的 ?按照謂詞變量的不同儒拂，可分為關(guān)系元組演算和關(guān)系域演算 ?關(guān)系元組演算是以元組變量作為謂詞變量的基本對(duì)象 ?關(guān)系域演算是以域變量作為謂詞變量的基本對(duì)象见咒。
(2)關(guān)系元組演算公式的形式
關(guān)系元組演算公式的基本形式：
{t | P(t) }
上式表示：所有使謂詞P 為真的元組t 的集合 ?t 是元組變量 ?t ?r 表示元組t 在關(guān)系r 中 ?t [A] 表示元組t 的分量，即t 在屬性A 上的值 ?P 是與謂詞邏輯相似的公式, P(t)表示以元組t 為變量的公式 P(t)可以如下遞歸地進(jìn)行定義
(3)關(guān)系元組演算公式的完整定義
關(guān)系元組演算公式的基本形式：{ t | P(t) } 其中公式P(t)可以遞歸地進(jìn)行構(gòu)造：
?三種形式的原子公式是公式
image.png
image.png
也是公式
image.png
也是公式
?如果P(t)是公式州丹，R是關(guān)系，則
image.png
和
image.png
也是公式 ?需要時(shí)可加括弧 ?上述運(yùn)算符的優(yōu)先次序自高至低為：括辉优怼：
image.png
公式只限于以上形式
