Question:

Consider the University modular degree scheme where students choose a selection of modules from a large menu. Here we have the basic types [PERSON, MODULE], the set of all people and the set of all modules. We have the information for the entire modular degree scheme represented by the type PERSON ξ MODULE.

Here we are only interested with the set of students registered as university students and the set of modules which are part of the degree scheme.

(a) Write down the schema to represent the current system state.

(b) Write down a schema for the operation to remove a student from the University. State any assumptions if any.

(c) Write down a schema for the operation to withdraw a student from a module of the degree scheme.

(d) Write down a schema for the operation to add a new module to the degree scheme.

(e) Write down a schema for the operation to verify if the student called ‘Peter' is registered for the module programming?