Hur bevisa att schema 2 är decomposition av schema 1 som har dependency och lossless?

Schema 1
Dept(Dnr, Dname, Pnr, Pname, Budget, Hours, Enr, Ename)

Schema 2
Dept-proj (Dnr, Dname, Pnr, Budget)
Proj(Pnr, Pnamne, Enr, Ename, Hours)

Hur visa/bevisa om schema 2 är decomposition av schema 1 som har dependency preservation och lossless-join property?

Gärna med ett tydligt exempel och förklaring tack!