database - ボイス・コッド通常形?

Question

これらの例が BCNF にあるかどうかを確認して、これらを正しく行っているかどうかを確認したいと考えています。関係:

Employee (EID, Ename, PID, ProjectName, MID, ManagerName) 

機能依存性:

EID==>(Ename, PID)
PID==>(ProjectName, EID, MID)
MID==>(ManagerName, PID)

BCNF関係:

Employees(EID,Ename, PID)
Project(PID, ProjectName)
Managers(MID, ManagerName, PID)

2番目の例

関係：

Pet (PID, Pname, Type, Breed, DOB, OwnerID, OwnerName, OwnerPhone,
     OwnerEmail, ServiceType, Date, Charge) 

機能依存性:

PID==>(Pname, Type, Breed, DOB, OwnerID)
OwnerID==>(OwnerName, OwnerPhone, OwnerEmail, PID)
ServiceType==>(Charge)

BCNF関係:

Pet(PID,Pname,Type,Breed,DOB)
Owner(OwnerID,  OwnerName, OwnerPhone, OwnerEmail, PID)
Service(ServiceType, PID, Date, Charge)

私はこれらで正しい軌道に乗っていますか?