day05、关系模型之关系演算

2026/9/17 12:59:32 拓冰建站浏览量

day05、关系模型之关系演算

关系模型之关系演算

1、存在量词与全称量词
2、元组演算的等价变换![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/b15f40a899834f09a613c14b957eb44c.png)

1、存在量词与全称量词

在这里插入图片描述

下面第一个公式是对该学生学习的课程成绩进行验证
第二个公式是对SC表中所有的成绩进行验证。
在这里插入图片描述

2、元组演算的等价变换

下面一个在小范围，一个在SC表里面大范围
在这里插入图片描述