关系的元组演算
元组演算的基本公式
{t|P(t)},P是公式
上面的表示的是一个集合,这个集合由t(t是变量)构成的,并且这个必须使P(t)为真
原子公式:
- s∈R,表示元组s属于关系R
- s[A] ⊙ c,,⊙是运算符
- s[A] ⊙ u[B]
下面是关于原子公式的例子
存在量词与全称量词的运用
全称和存在量词在涉及到多个表的操作时需要用到
存在量词是对部分元组(不能少于一个)进行验证使得公式为真,而全称量词是对所有的元组进行验证使得公式为真
上例中如果把存在改成全称就错了,因为如果是全称的话意味者t[Sage]比所有的u[Sage]都要大,但是t和u是来自同一个元组的,这显然不可能
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步