關(guān)系演算
元組演算
元組演算的運(yùn)用
簡(jiǎn)單運(yùn)用元組演算公式
存在量詞與全程量詞
元組演算的等價(jià)性變化
四個(gè)典型示例
元組演算與關(guān)系代數(shù)的相關(guān)性
域演算
域演算以域來表達(dá)基本運(yùn)算(非過程化的語言, 適合用戶使用)
域演算語言QBE
特點(diǎn): 操作獨(dú)特, 基于屏幕表格的查詢語言, 不用書寫復(fù)雜的公式, 只需要將條件填在表格之中.
關(guān)系運(yùn)算的安全性
不產(chǎn)生無線和無窮的運(yùn)算被稱為是安全的