5、关系数据库基础与Tutorial D语言详解

关系数据库基础与Tutorial D语言详解

1. 关系模型基础

1.1 关系变量投影

在某些情况下，我们可以简单且方便地说，关系变量SC是关系变量S在S#和CITY属性上的投影。更准确地讲，SC在任何时刻的值都是关系变量S在该时刻的值在S#和CITY属性上的投影。这意味着我们不仅可以讨论关系变量当前值的投影，还能直接讨论关系变量本身的投影。定义虚拟关系变量的Tutorial D语句形式如下：

VAR <relvar name> VIRTUAL <relation exp> ;

如果需要，还可以包含候选键定义。

1.2 关系模型的组成部分

关系模型主要由以下五个部分组成：
1. 标量类型集合 ：这是一个开放式的集合，包含各种标量类型，其中布尔类型（BOOLEAN）是最基本的系统定义标量类型，实际系统通常还会支持其他内置标量类型，如整数类型（INTEGER）。用户也可以定义自己的标量类型和相应的标量运算符。
2. 关系类型生成器 ：允许用户指定所需的任何关系类型。对于给定的关系，其预期解释是对应的关系谓词。
3. 关系变量定义工具 ：用于定义关系变量，关系变量是关系数据库中唯一允许的变量，这符合Codd的信息原则，即数据库中的所有信息在任何时刻都必须明确地以关系中的值来表示，不能有其他表示方式。
4. 关系赋值运算符