关系模式定义形式化表示为:

R(U,D,DOM,F)

其中:

- R:关系名

- U:属性名集合

- D:属性所来自的域

- DOM:属性向域的映象集合

- F:属性间的数据依赖关系集合

属性类型、长度等信息可用于表示域名及属性向域的映像。

例如:

导师和研究生均来自“人”域,但属性名不同。模式中定义了属性向域的映象,以说明其来自哪个域。

DOM(SUPERVISOR)= DOM(POSTGRADUATE)= PERSON