Map the object-oriented database design for the DreamHome case study produced in Exercise 27.25 to the ODMG ODL.

Question

What will be an ideal response?

Answer 1

Partial solution as follows:
class Branch {
(extent branches key branchNo)
attribute string branchNo;
attribute struct BranchAddress {string street, string city, string postcode} address;
attribute list< string> telNo[3];
relationship set Registers inverse Client::IsRegisteredWith;
relationship Staff Has inverse Staff::WorksIn;
relationship Manager IsManagedBy inverse Manager::Manages;
relationship set Offers inverse PropertyForRent IsOfferedBy;
}
class Person {
attribute struct PName {string fName, string lName} name;
}
class Staff extends Person {
(extent staff key staffNo)
attribute string staffNo;
attribute enum SetType {M, F} sex;
attribute date DOB;
attribute enum PositionType {Manager, Supervisor, Assistant} position;
attribute float salary;
relationship Branch WorksIn inverse Branch::Has;
relationship set relationship set Processes inverse Registration::IsProcessedBy;
relationship set Supervises inverse Staff::SupervisedBy;
increaseSalary(in Staff, in float) raises(noSuchPerson);
overseeProperty(in Staff, in PropertyForRent) raises(noSuchPerson, noSuchProperty);
moveBranch(in Staff, in from::Branch, in to::Branch) raises(noSuchPerson, noSuchBranch);
}
class Manager extends Staff {
(extent managers)
attribute date mgrStartDate;
attribute float bonus;
relationship Branch Manages inverse Branch::IsManagedBy;
}
class PropertyForRent {
(extent rentals key propertyNo)
attribute string propertyNo;
attribute struct PropertyAddress {string street, string city, string postcode} address;
attribute string type;
attribute integer rooms;
attribute float rent;
relationship Staff IsOverseenBy inverse Staff::Oversees;
relationship Branch IsOfferedBy inverse Branch::Offers;
relationship set PlacedIn inverse Advert::Advertises;
relationship Owner IsOwnedBy inverse Owner::Owns;
relationship set Takes inverse Viewing::IsTakenBy;
relationship set LeasedBy inverse Lease::LeaseFor;
rentOut(in PropertyForRent) raises(noSuchProperty);
}
class Client extends Person{
(extent clients key clientNo)
attribute string clientNo;
attribute string telNo;
attribute string prefType;
attribute float maxRent;
relationship Registration Agrees inverse Registration::RegistrationFor;
relationship set Requests inverse Viewing::IsRequestedBy;
relationship set Holds inverse Lease::IsHeldBy;
rentProperty(in Client, in PropertyForRent) raises(noSuchClient, noSuchProperty);
register(in Client, in Branch) raises(noSuchClient, noSuchBranch);
arrangeViewing(in Client, in PropertyForRent) raises(noSuchClient, noSuchProperty);