During the conversion of the model, a few decisions were made:
All tables have primary keys, and all columns in each table contain atomic values, so the schema is in 1NF.
The functional dependencies are evaluated separately for each table.
(ItemID, BorrowerID, RequestDate) -> LoanDate
(ItemID, BorrowerID, RequestDate) -> ReturnDate
(ItemID, BorrowerID, RequestDate) -> ReturnCondition
No column is dependent on anything other than the full primary key.
RetCondition -> Points
No column is dependent on anything other than the full primary key.
(GroupName, SwapperID) -> JoinDate
No column is dependent on anything other than the full primary key.
There is no natural primary key for the ITEM table, and so a surrogate key was used. Since, by definition, all columns are dependent upon a surrogate key, the only type of validation problem that can occur is if any column is dependent upon a column other than the surrogate key. There are no such functional dependencies, and so the table is in 3NF.
This table has no functional dependencies.
Since the Email column could have been the primary key, we will use it instead of the ID surrogate key column to validate:
Email -> Name
Email -> Password
No column is dependent on anything other than the full primary key.
GroupName -> IsInvitationOnly
No column is dependent on anything other than the full primary key.
No changes were made to either of the Entity-Relationship Model or Proposal documents.