域关系演算

域关系演算数据库 原子公式有两种形式：学习  ⑴ R(x1…xk)，R是一个k元关系，每一个xi是常量或域变量；ui  ⑵ xθy，其中x，y是常量或域变量，但至少有一个是域变量，θ是算术比较符。                                                            spa 公式中可以使用∧、∨、┐和=>等逻辑运算符，也可用(∃x)和(∀x)造成公式

>>阅读原文<<