下列关于SQL对表的定义的说法中，正确的选项是( )。

A．利用ALTER TABLE来定义一个新的数据表结构

B．SQL的表定义语句定义自由表的域完整性、字段有效性规则等

C．SQL只能对数据库表实现其完整性、有效性规则等信息的设置

D．SQL的表定义语句只能定义表中的候选索引、惟一索引和普通索引，不能定义主索引

Armp公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且

，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】