关系模式的定义由五部分组成,它是一个五元组:关系名R,属性名集合U,属性所来自的域DOM,属性向域的映象集合,以及属性间的数据依赖关系集合F。