R│×│S≡π
i1i2,...,im
(δ
∧...∧
(R×S)。
4. 除法
设两个关系 R 和 S 的元数分别为 r 和 s〔r>s>0〕,那么 R÷S 是一个〔r-
s〕元的元组的集合。〔R÷S〕是满足以下条件的最大关系,其中每个元
组 t 及 S 中每个元组 u 组成的新元组<t,u>必在关系 R 中。
R÷S 的具体计算过程如下:
A) T=π1,2,..r-s(R)
B) W=(T×S)-R 求出 T×S 中不在 R 的元组
C) V=π
1,2,...r-s
(W)
D) R÷S=T-V
因此 R÷S≡π1,2,..r-s (R)- π1,2,..r-s ((π1,2,..r-s (R) ×S)
-R )。
SQL 数据库的数据体系构造
SQL 数据库的数据体系构造根本上也是 3 级构造,但术语及传统关系模型
术语不同。SQL 中,关系模型称为“根本表〞,存储模式称为“存储文件
〞,子模式称为“视图〞,元组称为“行〞,属性称为“列〞。
SQL 语言的组成
一个 SQL 数据库是表的聚集,它用一个或多个 SQL 模式定义。
一个 SQL 表由行集构成,一行是列的序列,每列对应一个数据项。
一个表或者是一个根本表,或者是一个视图。根本表是实际存储在数据库
的表,视图是由假设干根本表或其他视图构成的表的定义。
SQL 包括了所有对数据库的操作,主要有 4 个局部:数据定义
〔SQL DDL〕、数据操纵(SQL DML)、访问数据控制、嵌入式 SQL 语言
的规定。
SQL DDL 主要是定义根本表、视图、索引 3 个局部:
◆根本表的定义、修改、撤销
根本表的定义可用“CREATE TABLE〞语句实现,增加属性可以用
“ALTER...ADD...〞语句,删除属性可以用“ALTER...DROP...〞语句;
删除已存在的表可用“DROP TABLE...〞语句。
◆视图的定义和撤销
视图的定义可以用 CREATE VIEW 语句实现。视图的撤消可以用
DROP VIEW 语句实现。
◆索引的定义和撤销
索引的定义可以用 CREATE ,用 DROP 撤销。
◆SQL DML 数据查询语句
SQL 的查询语句只有 SELECT 语句。
◆SELECT 查询语句
在关系代数中最常用的式子是“投影选择联接表达式〞:
π
A1,A2,,...An
(δ
F
(R1×R2×...×Rm)),这里 R1,R2,...Rm 为根本表,F