關係演算

關係演算包括元組關係演算和域關係演算 ， 是數據庫的關係模型的一部分 ， 提供了查詢數據庫的聲明性方式 。 關係演算與關係模型中的關係代數相反 ， 因爲關係代數提供的是查詢數據庫的過程性方式 。 關係代數和關係演算是邏輯等價的 ： 對於任何代數表達式 ， 都有一個等價的演算表達式 ， 反之亦然 。