定义关系模式可以形式化地表示为:tR(U,D,dom,F),其中tR是关系名,tU是组成该关系的属性名集合,tD是属性组U中属性所来自的域,tdom是属性向域的映射集合,tF是属性间的数据依赖关系集合。