关于应当变更为取保候审、监视居住或解除强制措施，下列哪一选项是正确的( )

A．甲被逮捕后发现患有严重疾病

B．乙被逮捕后经检查正在怀孕

C．丙被逮捕后侦查羁押期限届满仍须继续查证

D．丁被逮捕后一审法院判处有期徒刑1年缓刑2年，判决尚未发生效力

简述关系代数表达式的启发式优化规则。