Meeting Agenda- 1999.09.22

September 22, 1999

Location:

DC 1304

Time:

1:30 p.m.

Chair: Marryat Ma 

0. Introduction of New Members

1. Adoption of the Agenda - additions or deletions

2. Coffee Hour

Coffee hour this week:

Jasmin

Coffee hour next week:

??

3. Next meeting

Date:

Wednesday, September 29, 1999.

Location:

DC1304

Time:

1:30 p.m.

Chair:

Vincent Ma

Technical presentation:

Marryat Ma

4. Forthcoming

Chair:

1. Michael McCool (October 6th)
2. Jasmin Patry (October 13th)
3. Pascale Proulx (October 20th)

Tech Presenters:

1. Vincent Ma (October 6th) 
2. Michael McCool (October 13th)
3. Jasmin Patry (October 20th) 

5. Technical Presentation

Presenter:

Celine Latulipe 

Title:

The New Grade 9 & 10 Technology Curriculum

Abstract:

The Ontario government has recently changed the high school curriculum for computer science and technology. The Grade 9 curriculum is already in effect, the Grade 10 curriculum comes into effect next fall. I will talk about what students are going to be expected to learn, and how the UW Computer Science High School Liaison is developing curriculum content to help teachers meet the goals of the new curriculum.

6. General Discussion Items

• Reminder of lab policy---don't lend out keys, or let others use your account, etc.
• Application forms and instructions for NSERC Postgraduate Scholarships are available on the web at http://www.nserc.ca/formsch.htm. Departmental Deadline: Wednesday, October 6, 1999.
• It's time to apply for OGS scholarships. Jane Prime has the applications (DC 2332). Departmental deadling is Tuesday, October 26, 1999. In the past, Jane has taken Tuesdays as a day off, so plan to submit earlier, if possible.
• Lab duties! Blair has assigned most lab duties.

7. Action List

• Blair is going to have the new shelves bolted to the wall.
• The URL of the AAAI spring symposium on 'smart graphics' is: http://www-users.cs.york.ac.uk/~patrick/SG2000/. The deadline is October 8th.
• GI deadline Nov. 19. This time it will be in Montreal.
• SIGGRAPH 2000 deadline Jan. 12
• Group Photo Time!!! After today's lab meeting.

8. Director's Meeting

9. Seminars

	      
                      Master's Essay Presentation

                 Friday, 24 September 1999 at 2:00PM

                               DC 1331
 
                               -------
 
                     The Query Matching Problem

                             Qing Zhang
 
    Graduate student, Dept. Computer Science, University of Waterloo
 

                              ABSTRACT
 
In  typical commercial database systems the data reside in  a central
machine, called server. The server can be reached by a number of
clients via communication lines. Clients send queries to the server
and get results from the server. 

The  query  caching technique was introduced to improve the 
efficiency of this model. The basic idea is: after a  client  gets 
the  query results from the server, it caches  the  results  in the
local machine.  Later, the client  can use the cached query results to
process the subsequent queries. 

One of the problems we must solve  for query caching is the  query
matching, i.e., given a set of  materialized views  V1, V2, ... , Vm,
and query Q, which, if any, of V1,  V2,  ...  , Vm should be used to
help answer the query Q? 

We need to rewrite the query Q. "Rewrite" means that we need to find
another query Q', which uses the views and returns  the  same results
as Q but has less cost. This essay  is  regarding algorithms of
rewriting queries by using views.

------------------------------------------------------------------------

DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

SOFTWARE ENGINEERING SEMINAR



                    -Friday, September 24, 1999

Kurt   Lichtner,   graduate   student,  Dept.  Computer
Science,  University  of  Waterloo,  will  speak on ``A
Framework for Software Architecture Analysis''.


TIME:                2:00-3:00 p.m.

ROOM:                DC 1331



ABSTRACT

In  this  talk I will present an approach for analyzing
descriptions  of  software  architecture using machine-
assisted  formal  proof.  Our framework is based on the
translation  of  an  existing  architecture description
language    (ADL)   specification   to   an   alternate
mathematical representation.  We use higher-order logic
as  mechanized  by  the  Prototype  Verification System
(PVS)  as  the  formal  basis  of  our  approach.   Our
framework is not tied to any particular ADL; rather, we
define   an   ADL-independent   model  of  architecture
description  which  formalizes  the  fundamental design
concepts   of  architecture  modeling  notations.  I'll
demonstrate  the  approach by verifying some properties
of a simple example architecture.

10. Lab Cleanup