域關係演算

域關係演算數據庫 原子公式有兩種形式：學習  ⑴ R(x1…xk)，R是一個k元關係，每一個xi是常量或域變量；ui  ⑵ xθy，其中x，y是常量或域變量，但至少有一個是域變量，θ是算術比較符。                                                            spa 公式中可以使用∧、∨、┐和=>等邏輯運算符，也可用(∃x)和(∀x)造成公式

>>阅读原文<<