This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: UNIVERSITY OF WATERLOO Cheriton School of Computer Science CS245 Logic and Computation Spring 2009 CLASS EXERCISE 17 This is a reading exercise to be done individually. This exercise shows a Z specification for an information management system that helps a professor keep track of his or her meetings with graduate students. Using the types specified below, you should complete/specify the schemas and operations that fulfil the functionality of the system. We will ask you to return the page for our review, then will give it back to you. (This reading exercise is worth a full-mark credit.) A professor meets with her graduate students at least once each week. Each of her meetings is with an individual graduate student. She can have multiple meetings with the same graduate student each week, but there is a maximum number of meetings that she can have in a week. Each graduate student is either a Masters student or a PhD student. The following operations can be carried out on her schedule. Describe a schema for each operation:can be carried out on her schedule....
View Full Document
This note was uploaded on 01/19/2010 for the course CS 246 taught by Professor Wormer during the Spring '08 term at Waterloo.
- Spring '08
- Computer Science