单项选择题
给定关系模式R，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的伪传递规律是指（）。
A.若X→Y，X→Z，则X→YZ为F所蕴含 B.若X→Y，WY→Z，则XW→Z为F所蕴含 C.若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含 D.若X→Y为F所蕴含，且，则XZ→YZ为F所蕴含
单项选择题 语法制导翻译是一种（）方法。
单项选择题 简单算术表达式的结构可以用下面的上下文无关文法进行描述（E为开始符号），（）是符合该文法的句子。
单项选择题 下图所示为一个不确定有限自动机（NFA）的状态装换图。该NFA识别的字符串集合可用正规式（）描述。
，则XZ→YZ为F所蕴含