2.5.2.1域關(guān)系演算的定義
在域關(guān)系演算中，域關(guān)系演算的謂詞變量是域變量，我們稱：
{t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
為謂詞演算表達式，其中t1,t2,．．．,tk分別是域變量，f是域演算公式。一個謂詞演算表達式表示一個關(guān)系，表示所有使 f為真的那些由t1,t2,．．．,tk組成的元組的集合。域關(guān)系演算公式由原子謂詞公式和運算符組成。
域關(guān)系演算的原子謂詞公式有三種類型：
①R(t1,t2,．．．,tk)
R是一個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ù)比較運算符，表示滿足比較關(guān)系q的域變量。
③tiqC或Cq ti
其中ti為域變量，C為常量，q為算術(shù)比較運算符。
域關(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ōu)先級與元組關(guān)系演算公式中運算符優(yōu)先級的規(guī)則相同。
(6)有限次使用上述五條規(guī)則得到的公式是域關(guān)系演算公式外，其它公式不是域關(guān)系演算公式。
QBE是一種域關(guān)系演算語言
在域關(guān)系演算中，域關(guān)系演算的謂詞變量是域變量，我們稱：
{t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
為謂詞演算表達式，其中t1,t2,．．．,tk分別是域變量，f是域演算公式。一個謂詞演算表達式表示一個關(guān)系，表示所有使 f為真的那些由t1,t2,．．．,tk組成的元組的集合。域關(guān)系演算公式由原子謂詞公式和運算符組成。
域關(guān)系演算的原子謂詞公式有三種類型：
①R(t1,t2,．．．,tk)
R是一個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ù)比較運算符，表示滿足比較關(guān)系q的域變量。
③tiqC或Cq ti
其中ti為域變量，C為常量，q為算術(shù)比較運算符。
域關(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ōu)先級與元組關(guān)系演算公式中運算符優(yōu)先級的規(guī)則相同。
(6)有限次使用上述五條規(guī)則得到的公式是域關(guān)系演算公式外，其它公式不是域關(guān)系演算公式。
QBE是一種域關(guān)系演算語言