查询至少选了1班2号同学所选课的所有同学班号、学号

2024-05-11 18:04:16

目录

查询至少选了1班2号同学所选课的所有同学班号、学号
- 1.元组演算
- - 关系图形表示
  - 关系演算
- 2.元组演算转换成没有∀\forall∀符号的语句
- 3.sql语句

查询至少选了1班2号同学所选课的所有同学班号、学号

这类问题应该是本学期数据库查询里比较难的题了，涉及到了exists的使用，但是搞清楚原理还是很简单的。

假设有学生选课表sc(sclass,sno,cno)，其他属性忽略不计

1.元组演算

关系图形表示

以下的四张表均为sc表，他们的关联关系如下
u同学是我们要找的同学，v是u同学选修课程，w是1班2号同学所选的课程

关系演算

∃u(sc(u)∧∀w((sc(w)∧w[1]=1∧w[2]=2)→∃v(w[3]=v[3]∧u[1]=v[1]∧u[2]=v[2])))\exists u(sc(u)\land\forall w((sc(w)\land w[1]=1\land w[2]=2)\rightarrow\exist v(w[3]=v[3]\land u[1]=v[1]\land u[2]=v[2])))∃u(sc(u)∧∀w((sc(w)∧w[1]=1∧w[2]=2)→∃v(w[3]=v[3]∧u[1]=v[1]∧u[2]=v[2])))

2.元组演算转换成没有∀\forall∀符号的语句

转换之前需要把元组演算中的所有∀\forall∀语句全部转换成∃\exist∃语句，这里涉及到数理逻辑的知识

注意，3)4)中的∀∃\forall\exists∀∃互转后里面的P也要取反

转换后的结果如下

∃u(sc(u)∧¬∃w((sc(w)∧w[1]=1∧w[2]=2)∧¬∃v(w[3]=v[3]∧u[1]=v[1]∧u[2]=v[2])))\exists u(sc(u)\land\lnot\exist w((sc(w)\land w[1]=1\land w[2]=2)\land\lnot\exist v(w[3]=v[3]\land u[1]=v[1]\land u[2]=v[2])))∃u(sc(u)∧¬∃w((sc(w)∧w[1]=1∧w[2]=2)∧¬∃v(w[3]=v[3]∧u[1]=v[1]∧u[2]=v[2])))

3.sql语句

select * from sc u
where not exists(select * from sc wwhere sc.sno=2 and sc.sclass=1and not exists(select * from sc vwhere w.cno=v.cno and u.sno=v.sno and u.sclass=v.sclass)
)

基本上和2中的每个符号按顺序对应，应该也比较容易理解

查询至少选了1班2号同学所选课的所有同学班号、学号相关推荐

查询至少选修课程号为'c2'和'c4' 两门课程的学生学号
选课表sc = {学号sco,课程号cno...} --查询至少选修课程号为"c2"和"c4"两门课程的学生的学号 select sca.sno from sc ...
查询至少选修了学生201215122选修的全部课程的学生号码
这个条SQL语句是来自王姗老师<数据库系统概论>书中111页的例子.SQL语句是在我自己建立的表的基础上写出来的.SQL语句如下 select distinct Sno from tb_S ...
Mysql查询至少有一门课与学号为“s001”的同学所学相同的同学的学号和姓名
表名.字段解释 student(学生表) sc(成绩表) course(课程表) sno(学生学号) cno(课程号) sname(学生姓名) 一.分析要查询出至少有一门课与学号为"s00 ...
mysql查询至少学过学号为“s001”同学所有课的其他同学学号和姓名
表.字段解释表解释: student(学生表) sc(成绩表) 字段解释: sno(学号) cno(课程号) 一.分析要想查询出至少学过学号为"s001"同学所有课的其他同学学 ...
modelandview怎么在页面循环_新号段来啦！！！“靓号”怎么选？
它来了 ? ? ? 它带着满满的诚意扑面而来深圳交警官网最新公示 2020年11月10日新!号!段!发!放! 上万个号牌新鲜"出炉"~ 新号段发放公示为进一步提升便民服务 ...
10-4 5-4 查询至少生产三种不同速度PC的厂商 (20 分)
一:上码 -- 查询至少生产三种不同速度PC的厂商-- 分析:1.联合pc和product表,字段为厂商和速度表1 -- 2.按厂商名字进行分组统计厂商的个数,筛选条件为个数大于3的表2 -- 3 ...
10-2 5-2 查询至少生产两种不同的计算机(PC或便携式电脑)且机器速度至少为133的厂商 (20 分)（思路加详解+测试用例）
一:题目本题目要求编写SQL语句, 查询至少生产两种不同型号的计算机(PC或便携式电脑)且机器速度至少为133的厂商,输出结果按照制造商升序排列. 提示: 本题有三种情况: (1) 至少生产两种不同 ...
设计一个排序和查找系统。能够实现对给定的一组学生的借书证信息（如：卡号、姓名、系别、班号等）进行排序和查找。
目录实验目的实验题目排序模板实验源代码实验结果实验目的了解各种内部排序方法,掌握Shell排序.快速排序.堆排序,归并排序的排序方法,并将其运用到实际问题中. 实验题目设计一个排序和查 ...
查询快递单号物流，筛选出代收的单号
当有快递单号需要查询时,如何快速查询,将单号物流已签收的单号中是代收的单号筛选出呢?这里分享查询快递单号物流并筛选单号的方法技巧,一起来看操作步骤吧. 全部单号查询完成后,物流信息都一一显示在快递批量 ...

最新文章

热门文章