单项选择题

A.F∈{x},当目标F在综合数据库中出现时,则F被求得。
B.F∈{x},当目标F在综合数据库中出现时,则F一定不被求得。
C.F不包含于{x},当目标F不在综合数据库中出现时,则F被求得。
D.F不包含于{x},当目标F不在综合数据库中出现时,则F一定被求得。