phyllis@utcsrgv.UUCP (Phyllis Eve Bregman) (06/15/84)
[****]
UofT Department of Computer Science Seminar Schedule for
the week of June 18th, 1984
Friday, June 22nd, 11:00 A.M., GB244, S. Misbah Deen, PRECI Database
Research Project, Department of Computing Science, University of
Aberdeen: "A relational language with a deductive capability.
ABSTRACT: Deductive algebra (DEAL) is a proposed relational algebra
capable of providing the deductive capabilities of Prolog for database
operations. Its special features include the creation of attributes,
tuples and relations deductively subject to predicates; it also
supports user-defined and recursive functions along with a relational
schema for knowledge representation. DEAL is an extended version of
the PRECI Algebraic Language (PAL) implemented at Aberdeen.
In this talk some examples of the power of the language in dealing
with problems such as ancestors, part-explosions and connected tours,
will be given.
--
Phyllis Eve Bregman
CSRG, Univ. of Toronto
{decvax,linus,ihnp4,uw-beaver,allegra,utzoo}!utcsrgv!phyllis
CSNET: phyllis@toronto
(416) 978 6985