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