关系模式定义形式化表示为:
R(U,D,DOM,F)
其中:
- R:关系名
- U:属性名集合
- D:属性所来自的域
- DOM:属性向域的映象集合
- F:属性间的数据依赖关系集合
属性类型、长度等信息可用于表示域名及属性向域的映像。
例如:
导师和研究生均来自“人”域,但属性名不同。模式中定义了属性向域的映象,以说明其来自哪个域。
DOM(SUPERVISOR)= DOM(POSTGRADUATE)= PERSON
关系模式定义形式化表示为:
R(U,D,DOM,F)
其中:
- R:关系名
- U:属性名集合
- D:属性所来自的域
- DOM:属性向域的映象集合
- F:属性间的数据依赖关系集合
属性类型、长度等信息可用于表示域名及属性向域的映像。
例如:
导师和研究生均来自“人”域,但属性名不同。模式中定义了属性向域的映象,以说明其来自哪个域。
DOM(SUPERVISOR)= DOM(POSTGRADUATE)= PERSON