![](https://img-blog.csdnimg.cn/2e55afa1aa604f39bc01dda77ebf783b.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
数据库课程理论学习问题总结
文章平均质量分 61
大三下数据库课程问题总结、概括
Alkali!
本科:NUAACCST16191
硕士:SEUCSE220
展开
-
有关部门信息表与员工信息表的常用SQL应用语句实现汇总
实验环境:Navicat 16 for MySQL。在数据库中建立这两个表。原创 2023-06-03 22:49:40 · 2124 阅读 · 0 评论 -
已知如下数据库表,写出查询各门课的分数最高者的SQL语句,要求格式为“科目,学生名,分数”,并按科目Id排序
发现并不正确,Subject_Id和max(Score)的关系是正确的,Student_Id的关系是错误的,都被匹配成了Id为1的学生。差不多大功告成了,还有一个问题就是,还没有将结果按照科目Id排序,再后面加一个order by字段试试。发现最后的答案 要的是科目和学生名,而不是Id,这时候我们只需要在查询中连接一下科目表和学生表即可。由于上面SQL运行出来的Student_Id的关系是错误的,于是把它在SQL中去掉再运行一遍看看。进一步往下思考,怎么得到相应的学生信息?这样正确找出了各门科目的最高分。原创 2023-03-11 11:33:58 · 5959 阅读 · 0 评论 -
数据库-Armstrong公理系统-分解规则、伪传递规则、合并规则证明
定义引理6.1X→A1A2...AkX→A_{1}A_{2}...A_{k}X→A1A2...Ak成立的充分必要条件是X→AiX→A_{i}X→Ai成立(由分解规则和合并规则可以简单证明)定义6.12在关系模式R<U,F>R<U,F>R<U,F>中为FFF所逻辑蕴涵的函数依赖的全体叫做F的闭包(closure),记为F+F^{+}F+。判定一个函数依赖是否属于由FFF根据Armstrong公理推导出来的函数依赖的集合求不出这个集合,这是一个NP完原创 2022-05-31 15:29:46 · 2626 阅读 · 0 评论 -
数据库的范式理论及相关证明
定义规范化将一个低一级的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合,这种过程就叫规范化。第一范式作为一个二维表,关系要符合一个最基本的条件:每一个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式(1NF)。第二范式若R∈1NFR∈1NFR∈1NF,且每一个非主属性完全函数依赖于任何一个候选码,则R∈2NFR∈2NFR∈2NF。第三范式设关系模式R<U,F>∈1NFR<U,F>∈1NFR<U,F>∈1NF,若RRR中原创 2022-05-24 20:10:49 · 1504 阅读 · 3 评论 -
用五大基本的集合运算符表示另外三大非基本集合运算符
运算符分类五大基本的集合运算符:并、差、笛卡尔积、选择、投影三类非基本集合运算符:交、连接、除交的表示R∩S=R−(R−S)=S−(S−R)R∩S=R-(R-S)=S-(S-R)R∩S=R−(R−S)=S−(S−R)连接的表示σAθB(R×S)\sigma_{A \theta B}(R\times S)σAθB(R×S)除的表示R(X,Y)÷S(Y,Z)R(X,Y)÷S(Y,Z)R(X,Y)÷S(Y,Z)=πx(R)−πx(πx(R)×πx(S)−R)=\pi_{x}(R)-\pi原创 2022-04-26 14:44:20 · 708 阅读 · 0 评论