关系模式: R(U,D,DOM,F ) R是符号化的元组语义 U为一组属性 D为属性组U中的属性所来自的域 DOM为属性到域的映射 F为属性组U上的一组数据依赖 ** 数据依赖 ** 是一个关系内部属性与属性之间的一种约束关系 主要包括函数依赖和多值依赖 函数依赖 若 X → Y X \rightarrow Y X→Y 且 X ← Y X \leftarrow Y X←Y ,记为 X ← → Y X \leftarrow \rightarrow Y X←→Y 若Y不依赖X,则记为