检查软件产品是否符合需求定义的过程称为

A．SELECT姓名，单位FROM读者； WHERE借书证号IN； (SELECT借书证号FROM借阅； GROUP BY借书证号HAVING COUNT(*)＞＝2)
B．SELECT姓名，单位FROM读者； WHERE借书证号EXISTS； (SELECT借书证号FROM借阅； GROUP BY借书证号HAVING COUNT(*)＞＝2)
C．SELECT姓名，单位FROM读者； WHERE借书证号EXISTS； (SELECT借书证号FROM借阅； GROUP BY借书证号WHERE COUNT(*)＞＝2)
D．SELECT姓名，单位FROM读者； WHERE借书证号IN； (SELECT借书证号FROM借阅； GROUP BY借书证号WHERE COUNT(*)＞＝2)

A．关系中每一个属性对应一个值域
B．关系中不同的属性可对应同一值域
C．对应同一值域的属性为不同的属性
D．DOM(Ａ)表示属性A的取值范围