EX17 - UNIVERSITY OF WATERLOO Cheriton School of Computer...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 3

EX17 - UNIVERSITY OF WATERLOO Cheriton School of Computer...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online