下列关于死锁的叙述中，不正确的是()。

A．系统的安全状态是没有死锁的状态

B．银行家算法是一种有效的避免死锁的算法

C．死锁避免策略提高了资源利用率也降低了系统开销

D．可以用资源剥夺法或者撤销进程法来解除死锁

简述对应推论理论的基本内容。