填空题
满足()的关系模式不能存在非平凡的且非函数依赖的多值依赖。
4NF
填空题 若关系模式R中的每一个决定因素都含有码,则R∈()。
填空题 ()就是指每一个非主属性既不部分依赖于码也不传递依赖于码。
填空题 ()是指:如果关系r的两个元组在α上的属性值相等,则它们在β上的属性值也必然相等。