在规范化理论中,函数依赖的概念提供了消除冗余联系的形式化工具. （)

在对全局e-r模型进行优化时，通常利用规范化理论中的（）概念消除冗余关系

要掌握范式的概念，需要先理解函数依赖的概念。（)

函数依赖与属性之间的联系类型有关。（)

一个关系若存在部分函数依赖和传递函数依赖，则不会造成数据冗余。（)

数据库中消除一切数据冗余。（)

如果函数依赖集F中所有函数依赖都不违背BCNF ,则函数依赖集F的闭包F+中的所有函数依赖也都满足BCNF。（)

在GB/T18336-2015《信息技术安全技术信息技术安全评估准则》中，安全功能要求ADV_FSP.6附加形式化描述的完备的半形式化功能规范，要求开发者提供功能规范的形式化描述，这里的形式化描述方法包括两个方面内容一是用于形式化表示的规范语言，另一方面包括算术证明形式化规范完整性和正确性的理论证据。()此题为判断题(对，错)。

规范化的体育舞蹈提供了比赛表演的依据。（)

在规范化理论中所使用的“关系”（Relation)相当于关系数据库中的字段。（)

关系规范化是为了关系数据库中数据冗余、数据的不一致性、插入和删除异常问题而引入的。（)