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.