Xref: utzoo ont.events:1384 uw.talks:77 uw.cs.grad:64
Path: utzoo!utgpu!watmath!maytag!water!wlrush
From: wlrush@water.waterloo.edu (Wenchantress Wench Wendall)
Newsgroups: ont.events,uw.talks,uw.cs.grad
Subject: MASTER'S THESIS PRESENTATION
Keywords: M. VanBommel, graduate student, Dept. of Comp. Sci.
Message-ID: <2759@water.waterloo.edu>
Date: 17 Nov 89 14:57:16 GMT
Distribution: ont
Organization: U of Waterloo, Ontario
Lines: 35


DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES

MASTER'S THESIS PRESENTATION

                    -Wednesday, November 22, 1989

Martin  Van Bommel, graduate student, Dept. of Computer
Science,  will  speak  on ``Functional Dependencies and
Join Conditions in Object-Oriented Data Models''

TIME:                 2:30 p.m.

ROOM:                 DC 1331

ABSTRACT

Several   kinds   of   explicit   constraints  for  the
relational model have proven invaluable in appraising a
choice  of  relation schemes, in designing the physical
database,  and  in  optimizing  queries.  Variations of
these  constraints for object-oriented data models will
almost certainly have the same benefits.  In this talk,
I  will discuss two possible forms of constraints for a
simple  choice  of  object-oriented  data  model.  Some
preliminary  results  on  applications of an ability to
reason about these constraints will be examined.  Sound
and   complete   axiomatizations   will  be  presented,
followed  by  an  outline  of  decision  procedures for
several  special  cases  in  which  constraints satisfy
further syntactic restrictions.

                   November 15, 1989