单项选择题
设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则？（）
A.若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含 B.若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含 C.若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含 D.若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含
单项选择题 由于关系模式设计不当所引起的更新异常指的是（）。
单项选择题 多用户数据库系统的目标之一是使每个用户好像使用一个单用户数据库一样，为此数据库系统必须进行（）。
单项选择题 设有两个事务T1、T2，对数据A的并发操作如下图所示。下列说法中正确的是（）。
