ylfink@water.waterloo.edu (ylfink) (01/23/88)
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
DATABASES SEMINAR
- Thursday, January 28, 1988
Dr. Victor Vianu, of the University of California, San
Diego, will speak on ``Transaction Languages for
Database Update and Specification''.
TIME: 2:30 PM
ROOM: MC 6082
ABSTRACT
Relational database updates, and specification using
updates are studied. Completeness criteria for
transaction languages are introduced, based on their
updating and specification capability. Then several
specific transaction languages are defined: TL (non-
deterministic) and detTL (deterministic). The
completeness of TL and detTL with respect to several
completeness criteria is shown. Restrictions of these
languages are also considered. It is shown that some of
the restricted languages correspond to natural
complexity classes of updates. Some connections with
existing notions of query completeness, and
corresponding query languages, are exhibited.
This talk describes joint work with Serge Abiteboul.