[ont.events] S. Misbah Deen: "A relational language with a deductive capability"

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