關係演算
關係演算包括元組關係演算和域關係演算，是數據庫的關係模型的一部分，提供了查詢數據庫的聲明性方式。關係演算與關係模型中的關係代數相反，因為關係代數提供的是查詢數據庫的過程性方式。
關係代數和關係演算是邏輯等價的：對於任何代數表達式，都有一個等價的演算表達式，反之亦然。
參考資料[編輯]
- Date, Christopher J. An Introduction to Database Systems 8th. Addison Wesley. 2004. ISBN 0-321-19784-4.
參見[編輯]
| ||||||||||||||||||||||||||||||||||||||
 | 這是一篇與邏輯學相關的小作品。你可以透過編輯或修訂擴充其內容。 |