单选题
一个数据库中现有A、B、C、D、E、F六个语句,但目前这个数据库是不协调的,必须删除某些语句才能恢复数据库的协调性。已知: (1)如果保留语句A,那么必须保留语句B和语句C。 (2)如果保留语句E,则必须同时删除语句D和语句C。 (3)只有保留语句E,才能保留语句F。 (4)语句A是重要的信息,不能删除。 以上各项如果为真,则以下哪项一定为真?
【正确答案】
D
【答案解析】解析:把题干条件表达如下: (1)A→B∧C; (2)E一﹁D∧﹁C; 其等价于:D∨C→﹁E (3)E←F; 其等价于:﹁E→﹁F (4)A。 联立以上条件,可得:A→B∧C→﹁E→﹁F 可见D项正确。