SQL与关系数据库理论【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

SQL与关系数据库理论PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

前言1

第1章　设置场景9

关系模式是非常容易被误解的9

一些术语的注释10

法则，而不是产品12

最初模式的一个回顾13

模型和实现20

关系的特性23

基础关系和产生的关系26

关系和关系变量28

值和变量29

结论30

练习31

第2章　类型与域34

类型和关系34

等式比较35

数据值的原子性41

什么是类型44

标量和非标量类型47

SQL中的标量类型49

SQL中的类型检查和强制类型转换50

SQL中的一些整序52

SQL中的行和表类型53

结论55

练习56

第3章　元组与关系、行和表59

什么是元组59

SQL中的行63

什么是关系65

关系和它们的关系体66

关系是n维的68

关系比较68

TABLE_DUM和TABLE_DEE69

SQL中的表70

SQL中列的命名72

结论74

练习74

第4章　无重复与无空值76

重复有什么问题76

复行：进一步讨论81

在SQL中避免复行82

空值有什么错83

在SQL中避免空值86

对外连接的评论88

结论89

练习90

第5章　基本关系变量与基本表94

数据定义95

更新是集合级别的95

关系赋值97

更多关于候选键的内容99

关于外键更多的讨论101

关系变量和断言104

关系和类型106

练习109

第6章　SQL与关系代数Ⅰ：原始的操作符112

一些预备知识112

有关闭包的更多讨论114

约束117

投影118

连接119

并、交和差123

哪些操作符是原始的125

每次都形成表达式的一小步125

关系表达式的意思是什么127

求一个表表达式的值128

表达式转换129

属性名字上的依赖132

练习134

第7章　SQL与关系代数Ⅱ：附加的操作符137

半连接和半差137

扩展138

映像关系140

除143

聚集操作符144

映像关系再讨论148

概要149

概要再论154

分组和不分组155

what if查询157

ORDER BY如何158

练习159

第8章　SQL与约束163

类型约束164

SQL中的类型约束167

数据库约束168

SQL中数据库约束172

事务173

为什么数据库约束的检测必须是实时的174

难道某些检测不是不得不被推迟吗177

约束和谓词180

各种各样的问题182

练习183

第9章　SQL与视图187

视图是关系变量188

视图和谓词191

获取操作192

视图和约束194

更新操作197

视图是为了什么201

视图和快照202

练习203

第10章　SQL与逻辑206

简单和复合的命题207

简单和复合的谓词210

定量211

关系计算216

更多的关于量化222

一些等价形式228

结论231

练习232

第11章　使用逻辑来形式化SQL表达式235

一些转换规则235

例子1：逻辑隐含238

例子2：普遍的限定238

例子3：隐含和一般的限制240

例子4：相关的子查询242

例子5：命名子查询243

例子6：更多的关于命名子表达式246

例子7：处理不确定性247

例子8：使用COUNT249

例子9：连接查询250

例子10：唯一限制251

例子11：ALL或者ANY比较252

例子12：GROUP BY和HAVING256

练习257

第12章　SQL主体杂项258

SELECT＊258

显表259

名字限定259

范围变量260

子查询262

“可能的非确定”表达式265

空集266

SQL表表达式的BNF范式语法266

练习269

附录A　关系模式271

附录B　数据库设计理论286

附录C　练习答案315

附录D　进一步阅读393