title: Identifying the Boyce Codd Normal Form
body: <p>I'm trying to get my head around the differences between 3NF and BCNF and I think I'm getting there but it would be great if anyone can help out.</p>
  
  <p>The following is a series of relations in the 3rd normal form (helpfully stolen from <a href="https://stackoverflow.com/questions/5773204/identifying-functional-dependencies">Identifying Functional Dependencies</a> which in turn took them from Connolly &amp; Begg's Database Systems):</p>
  
  <pre><code>Client {clientNo(PK), clientName}
  Owner {ownerNo(PK), ownerName}
  Property {propertyNo (PK), propertyAddress, rent}
  ClientRental {clientNo(PK), propertyNo(PK), rentStart, rentFinish, ownerNo(FK)}
  </code></pre>
  
  <p>Each property has only one owner and clients can rent those properties. Assume rent is fixed for each property.</p>
  
  <p>So my question is: Are these also in the BCNF?</p>
  
  <p>My hunch is the ClientRental relation is not because PropertyNo->ownerNo. So PropertyNo is a determinant in a functional dependency but it isn't a superkey.</p>
  
  <p>Am is anywhere near the right ballpark?</p>