數(shù)據(jù)庫(kù)系統(tǒng)2-5：域關(guān)系演算

2.5.2.1域關(guān)系演算的定義
    在域關(guān)系演算中，域關(guān)系演算的謂詞變量是域變量，我們稱(chēng)：
    {t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
    為謂詞演算表達(dá)式，其中t1,t2,．．．,tk分別是域變量，f是域演算公式。一個(gè)謂詞演算表達(dá)式表示一個(gè)關(guān)系，表示所有使 f為真的那些由t1,t2,．．．,tk組成的元組的集合。域關(guān)系演算公式由原子謂詞公式和運(yùn)算符組成。
    域關(guān)系演算的原子謂詞公式有三種類(lèi)型：
    ①R(t1,t2,．．．,tk)
    R是一個(gè)K目關(guān)系，ti為域變量或常量，R(t1,t2,．．．,tk)表示由屬性t1,t2,．．．,tk組成的關(guān)系，所以關(guān)系R可表示為：
    {t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
    ②tiquj
    ti,uj 為域變量，q為算術(shù)比較運(yùn)算符，表示滿(mǎn)足比較關(guān)系q的域變量。
    ③tiqC或Cq ti
    其中ti為域變量，C為常量，q為算術(shù)比較運(yùn)算符。
    域關(guān)系演算公式的遞歸定義如下：
    (1)原子謂詞公式是域關(guān)系演算公式。
    (2)若f1和f2是域關(guān)系演算公式，則f1ùf2，f1úf2，?f1和?f2也是域關(guān)系演算公式。
    (3)若f是域關(guān)系演算公式，則$ti(f)(i=1,2,3．．．k)也是域關(guān)系演算公式。
    (4)若f是域關(guān)系演算公式，則"ti(f)(i=1,2,3．．．，k)也是域關(guān)系演算公式。
    (5)域關(guān)系演算公式中，各運(yùn)算符的優(yōu)先級(jí)與元組關(guān)系演算公式中運(yùn)算符優(yōu)先級(jí)的規(guī)則相同。
    (6)有限次使用上述五條規(guī)則得到的公式是域關(guān)系演算公式外，其它公式不是域關(guān)系演算公式。
    QBE是一種域關(guān)系演算語(yǔ)言