ATM技术主要是解决（ ）。

在关系模式R(U，F)中，如果X→Y，存在X的真子集X1，使X1→Y，称函数依赖X→Y为（ ） 

设有关系模式R(A，B，C)，F是R上成立的FD集，F={B→C，C→A}，那么ρ={AB，BC}，相对于F（ ） 

设有关系模式R(A，B，C)，F是R上成立的FD集，F={A→B，B→C}，那么F在模式R上的投影πAC(F)为（ ） 

设有关系模式R(A，B，C)，F是R上成立的FD集，F={A→C，B→C}，那么F在模式R上的投影πAB(F)为（ ） 

设有关系模式R(A，B，C)，F是R上成立的FD集，F={A→B，C→B}，则相对于F，关系模式R的主键为（ ） 

在关系模式R(U)中，如果X→Y和X→Z成立，那么X→YZ也成立。这条推理规则称为（ ） 

设有关系模式R(A，B，C，D)，F是R上成立的FD集，F={B→C,C→D},则属性C的闭包C+为( )

在关系模式R(A，B，C)中，有函数依赖集F={(A,B)→C,(B,C)→A},则R最高达到( )

关系模式R分解成ρ = {R1，…，Rk}，F是R上的一个FD集，那么R中满足F的每一个关系r，与其投影联接表达式mρ(r) 间的关系满足 （ ）

设关系模式R (A，B，C)，F是R上成立的FD集，F = {B→C}，则分解ρ = {AB，BC}相对于F （ ）