A．λ演算B．关系理论C．形式逻辑D．事实和规则逻辑型程序语言是一类以______为基础的语言，______是……

单项选择题对于下列叙述： Ⅰ任何一个二目关系是属于3NF的； Ⅱ任何一个二目关系是属于BCNF的； Ⅲ若R.A-＞R.B，R.B-＞R.C，则R.A-＞R.C。 结论正确的是______。

单项选择题已知关系模式R＜U，F＞，U=A，B，C，D，E，F=AB-＞C，C-＞D，D-＞E，R的一个分解为R1(A，B，C)，R2(C，D，E)。则该分解是______。

单项选择题A．PROLOGB．AdaC．SamlltaklD．Lisp

单项选择题A．类图、顺序图、行为图、动态图、配置图B．对象图、用例图、静态图、状态图、交互图C．包图、序列图、行为图、交互图、活动图D．用例图、静态图、行为图、交互图、实现图

单项选择题A．0.347B．0.5C．0.963D．0.869

单项选择题A．MFLOPSB．PDRC．MIPSD．CTP

单项选择题A．MPEG-1B．MPEG-2C．MPEG-4D．MPEG-7

单项选择题A．λ演算B．关系理论C．形式逻辑D．事实和规则

单项选择题A．类B．UMLC．角色D．继承

单项选择题A．可变长B．定长C．运动图象D．视频