The following is about a university dormitory having multiple buildings. The relation does not cover off-campus housings.

Housing (SID, Stud_Name, Room#, BuildingName, BuildingAddress, RoomType, AirConditioner, Rental_Fee, Deposit_Amount, Move_in_date)

• A student lives in a particular room of a building.
• A room number is unique only within the building.
• Most rooms are shared by two students.
• The rental fee and deposit amount are determined by room type.
• Each student moves in a particular day.
• Each room has only one room type.
• RoomType is determined by BuildingName and Room#
• RoomType means whether or not it has AirConditioner, regardless of building names.
• Each building has one address and building names are unique.