Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utcsrgv.UUCP
Path: utzoo!utcsrgv!phyllis
From: phyllis@utcsrgv.UUCP (Phyllis Eve Bregman)
Newsgroups: ont.events
Subject: Eric Simon:  "Design & implementation of an extendible integrity subsystem"
Message-ID: <4490@utcsrgv.UUCP>
Date: Wed, 6-Jun-84 09:39:02 EDT
Article-I.D.: utcsrgv.4490
Posted: Wed Jun  6 09:39:02 1984
Date-Received: Wed, 6-Jun-84 10:15:12 EDT
Organization: CSRG, University of Toronto
Lines: 27

[****]
      UofT Department of Computer Science Seminar Schedule for
		   the week of June 4th, 1984


Friday, June 8th, 2:00 P.M., GB119, Dr. Eric Simon, SABRE Project,
   INRIA, Le Chesnay-Cedex, France:  "Design and implementation of an
   extendible integrity subsystem".

   ABSTRACT:  This talk presents a powerful integrity subsystem, which is
   implemented in the SABRE database system.  The specification language
   is simple.  The enforcement algorithm is general; in particular, it
   handles referential dependency and temporal assertions.  Specialized
   strategies efficiently treat each class of assertions.  The system
   automatically manages integrity checkpoints.  Also, an efficient method
   is described for processing assertions involving aggregates.  An
   analysis exhibits the value of the algorithms.  It is shown that, in
   general, this method is better than the query modification method for
   domain assertions.  Measures have also been done for giving the cost
   added for controlling integrity in comparison with the cost of the
   request itself.
-- 
		Phyllis Eve Bregman
		CSRG, Univ. of Toronto
		{decvax,linus,ihnp4,uw-beaver,allegra,utzoo}!utcsrgv!phyllis
		CSNET:  phyllis@toronto
		(416) 978 6985