��1、码的定义
��令R是关系模式，R的子集K是R的超码是指对任意的合法关系r(R)及r中的任意两个元组t1和t2，总能满足以下条件：
��若t1≠t2，则t1[K]≠t2[K]
��2、函数依赖
��令αR且βR，R存在函数依赖α→β（读作a函数确定β，或β函数依赖于α）是指对任意合法关系r(R)及r中任意两个元组t1和t2，总满足以下条件：
　　若t1[α]=t2[α]，则t1[β]=t2[β]
　　为了今后讲课方便，我们还需要了解以下有关函数依赖的概念：
　　①　完全函数依赖与部分函数依赖：如果关系模式R中存在函数依赖X→Y，并且对于X的任何一个真子集X'，都有X'→Y不成立，则称Y对X完全函数依赖，否则就称Y对X部分函数依赖；
　　②　传递函数依赖：如果X→Y（且Y不是X的子集），Y→Z（且Y→X不成立），则称Z对X传递函数依赖。
��