若关系模式
，且每一个非主属性完全函数依赖于码，则

A．反向扫描日志文件、对每一个更新操作执行逆操作，如此下去
B．对每一个更新操作执行逆操作、反向扫描日志文件，如此下去
C．正向扫描日志文件、对UNDO队列中的事务进行UNDO处理、对REDO队列中的事务进行REDO处理
D．正向扫描日志文件、对REDO队列中的事务进行REDO处理、对UNDO队列中的事务进行UNDO处理

A．若
，则X→Y为F所逻辑蕴含
B．若
，则X→Y为F所逻辑蕴含
C．若X→Y为F所逻辑蕴含，且
，则X→YZ为F所逻辑蕴含
D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含