chomicki@antares.cis.ksu.edu (Jan Chomicki) (10/05/90)
-------------------------------------------------------------------------------
Workshop on DEDUCTIVE DATABASES
Thursday, November 01, 1990, 2 - 6 pm
Hyatt Regency Hotel, Austin, Texas
in conjunction with
North American Conference on Logic Programming '90
Program:
2:00 - 3:10 pm
Session 1: Deductive Database Management Systems
Glue: a Deductive Database Programming Language,
Geoffrey Phipps (Stanford University)
CORAL - A Database Programming Language,
Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, S. Sudarshan
(University of Wisconsin-Madison)
The Aditi Deductive Database System,
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan
Somogyi, Peter J.Stuckey (University of Melbourne)
3:10 - 3:30 pm
BREAK
3:30 - 4:40 pm
Session 2: Applications and Techniques
Deductive Databases for Genomic Mapping,
Shalom Tsur (MCC), Frank Olken (LBL), Dalit Naor (UC Davis)
Towards a Deductive Database for Elementary Algebra and Geometry,
Dennis S. Arnon (Xerox PARC)
Extending Object-Oriented Deduction Towards Constraint Logic Programming,
Yves Caseau (Bellcore)
4:40 - 4:50 pm
BREAK
4:50 - 6:00 pm
Session 3: Invited Talks
Logical Foundations of Object-Oriented Languages
Michael Kifer (SUNY Stony Brook)
Whither Deductive Database Systems and Applications,
Shamim Naqvi (Bellcore), Tomasz Imielinski (Rutgers),
Madhur Kohli (Bellcore)
The workshop is open to all NACLP registrants, but the number of participants
is limited to 50 to promote closer interaction. If you plan to attend,
please register for the conference and in addition notify (preferably
by e-mail) the workshop organizer:
Jan Chomicki
Computing and Information Sciences
234 Nichols Hall
Kansas State University
Manhattan, KS 66506-2302
Phone: (913) 532-6350
Internet: chomicki@harris.cis.ksu.edu
-------------------------------------------------------------------------------