死锁产生的条件，如果避免死锁，第一范式，第二范式，第三范式等