某二级公路有一批梁板采用先张法预制，在施工单位的施工组织设计中摘录了如下几个事项：
事项1：多根钢筋同时张拉，并设定固定横梁和活动横梁，横梁须有足够的刚度，受力后挠度应符合规范要求。
事项2：按设计要求进行张拉，即0→σ→105%σ_k(持荷)→σ_k。
事项3：使用龙门吊机将涂以脱模剂的钢模板吊装就位、分节拼装紧闭，并采用龙门吊机吊运混凝土。施工中还包括如下工序：①安装充气胶囊；②浇注底板混凝土；③绑扎定位箍筋和面板箍筋：④浇面板混凝土；⑤浇胶囊两侧混凝土。

A:②→③→①→④→⑤ B:③→②→①→④→⑤ C:①→②→⑤→③→④ D:②→①→③→⑤→④

设关系模式R＜U,F＞，其中UH,I,J,K,L，若F=H→IJ,J→K,IJK→L,L→H,L→K)，则F的最小函数依赖集Fmin= (1) ，关系模式R的候选关键字是 (2) 。

A:H→I,H→J,J→K,IJK→L,L→H B:H→I,H→J,J→K,IJ→L,L→H C:H→I,H→J,J→K,IJ→L,J→K D:H→I,J→K,IJ→L,L→H,L→K

设关系模式R＜U,F＞，其中U{H,I,J,K,L}，若F={H→IJ,J→K,IJK→L,L→H,L→K)，则F的最小函数依赖集Fmin={ (54) }，关系模式R的候选关键字是 (55) 。

A:H→I,H→J,J→K,IJK→L,L→H B:H→I,H→J,J→K,IJ→L,L→H C:H→I,H→J,J→K,IJ→L,J→K D:H→I,J→K,IJ→L,L→H,L→K

给定关系模式R(U,F)，U=A,B,C,D)，F=A→C,A→D,C→B,B→D，F中的冗余函数依赖为（1）。若将R分解为ρ=AC,CB,BD)，则ρ满足（2）。

A:C→A B:D→A C:B→C D:D→B

给定关系模式R（U，F.，U={A，B，C，D}，F={A→C，A→D，C→B，B→D.，F中的冗余函数依赖为（）；若将R分解为ρ={AC，CB，BD}，则ρ满足（）。

A:A→C B:A→D C:C→B D:B→D

设关系模式R_m＜U，F＞，其中U＝｛H，I，J，K，L｝，若F=｛H→IJ，J→K，IJK→L，L→H，L→K｝，则F 的最小函数依赖集F_min=｛ (1) ｝。关系模式R 的候选关键字有 (2) 个，R 属于 (3) 。

A:H→I，H→J，J→K，IJK→L，L→H B:H→I，H→J，J→K，IJ→L，L→H C:H→I，H→J，J→K，IJ→L，L→K D:H→I，J→K IJ→L，L→H，L→K

设关系模式R＜U，F＞，其中U＝｛H，I，J，K，L｝，若F=｛H→IJ，J→K，IJK→L，L→H，L→K｝，则F 的最小函数依赖集F_min=｛（）｝。关系模式R 的候选关键字有（）个，R 属于（）。

A:H→I，H→J，J→K，IJK→L，L→H B:H→I，H→J，J→K，IJ→L，L→H C:H→I，H→J，J→K，IJ→L，L→K D:H→I，J→K IJ→L，L→H，L→K

设关系模式R＜U，F＞，其中U=H，I，J，K，L，若F=H→IJ，J→K，IJK→L，L→H，L→K，则F的最小函数依赖集Fmin=（），关系模式R的候选关键字是（）

A:H→I,H→J，J→K,IJK→L,L→H B:H→I,H→I，J→K,IJ→L，L→H C:H→I,H→J，J→K，IJ→L,J→K D:H→I，J→K,IJ→L，L→H,L→K

公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是（）

A:∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B:∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C:∀x∃y((F(x,y)→G(y))→H(x,y)) D:∃x∃t∃w((F(x,y)→G(t))→H(w,y))

给定关系模式R（U，F），U={A，B，C，D}，F={A→C，A→D，C→B，B→D），F中的冗余函数依赖为（43）；若将R分解为ρ={AC，CB，BD}，则ρ满足（44）。

A:A→C B:A→D C:C→B D:B→D