lohman%ibm-sj.csnet@csnet-relay.arpa (07/12/84)
From: Guy M. Lohman <lohman%ibm-sj.csnet@csnet-relay.arpa> [Forwarded from the SRI bboard by Laws@SRI-AI.] IBM San Jose Research Lab 5600 Cottle Road San Jose, CA 95193 Tues., July 17 Computer Science Seminar 1:00 P.M. A RELATIONAL LANGUAGE WITH A DEDUCTIVE CAPABILITY 2C-012 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. S. M. Deen, PRECI Database Research Project, University of Aberdeen Host: P. Wilms [...] Visitors, please arrive 15 mins. early. IBM is located on U.S. 101 7 miles south of Interstate 280. Exit at Ford Road and follow the signs for Cottle Road. The Research Laboratory is IBM Building 028. For more detailed directions, please phone the Research Lab receptionist at (408) 256-3028. For further information on individual talks, please phone the host listed above.