2.1 关系模型的数据结构及其形式化定义.pdf

数据库原理与应用 关系的形式化 定义、概念、性质 本节目录 CONTENTS 关系的形式化定义和概念 关系的性质 总结 关系的形式化 定义和概念 关系的形式化定义和概念 关系上域的定义 域（Domain） 整数、实数和字符 串的集合都是域  域是一组具有相同数据类型的值的集合，又称为值域。 （用D表示）  域中所包含的值的个数称为域的基数（用m表示）。 在关系中用域表示属性的取值范围。 D 1={李力，王平，刘伟}，m=3 ； D2={男，女}；m=2 ； D3={18,20} ；m=2。 关系的形式化定义和概念 笛卡尔积的定义 笛卡尔积（Cartesian Product） 定义：给定一组域D1 ，D2 ，…，Dn （它们可以包 含相同的元素，即可以完全不同，也可以部分或 全部相同）。D1 ，D2 ，…，Dn 的笛卡尔积为 D ×D ×……×D ={ （d ，d ，…，d ）|di ∈D ， 1 2 n 1 2 n i i=1 ，2 ，…，n}  每一个元素（d ，d ，…，d ）中的每一个值d 1 2 n i 叫做一个分量（Component） ，d ∈D i i  每一个元素（ d ，d ，…，d ）叫做一个n元组 1 2 n （n-Tuple），简称元组（Tuple） 关系的形式化定义和概念 笛卡尔积特点及举例 笛卡尔积（Cartesian Product） 笛卡尔积D ×D ×…×D 的基数M （即元祖（d ，d ，…，d ） 1 2 n 1 2 n n c 的个数）为所有域的基数的累乘之积，即M= mi 。 i1 例如，上述表示教师关系中姓名、性别两个域的笛卡尔积为： D ×D ={ （李力，男），（李力，女），（王平，男）， 1 2 （王平，女），（刘伟，男），（刘伟，女）} 分量：李力、王平、刘伟、男、女 元组：（李力，男），（李力，女） ， M=m ×m =3 ×2=6 1 2 D ={李力，王平，刘伟}，m =3 ；D ={男，女}；m =2 ； 1 1 2 2 D ×D 的M=m ×m =3 ×2=6 1 2 1 2 关系的形式化