Raghu Ramakrishnan (Ed.):
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS,
Vancouver,
B.C.,
October 30,
1993,
University of Wisconsin,
Technical Report #1183,
October 1993
Papers
- James Harland, Kotagiri Ramamohanarao:
An Aditi Implementation of a Flights Database.
6-17
- Nathan Goodman, Steve Rozen, Lincoln Stein:
Requirements for a Deductive Query Language in the MapBase Genome-Mapping Database.
18-32
- William G. Roth, Raghu Ramakrishnan, Praveen Seshadri:
MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain.
33-43
- Dimitra Vista, Peter T. Wood:
Efficient Visual Queries for Deductive Databases.
44-59
- Shawn Shaw, Lena Foggiato-Bish, Iris Garcia, Gherin Tillman, Dave Tryon, Wendy Wood, Carlo Zaniolo:
Improving Data Quality Via LDL++.
60-73
- Richard R. Muntz, Eddie C. Shek, Carlo Zaniolo:
Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.
74-86
- Amitabh Saran, Keith K. Park, Yongmao Chen, Ana Paula de Aguiar, Terence R. Smith, Jianwen Su:
Developing Applications with CORAL.
87-96
- Oris Friesen:
A Declarative Language Environment for Knowledge-Workers.
97-110
- David Scott Warren:
Programming the PTQ Grammar in XSB.
111-123
- Günther Specht, Burkhard Freitag, Heribert Schütz:
AMOS: A Natural Language Parser written in LOLA.
124-133
- Ping-Yu Hsu, Carlo Zaniolo:
A new User's Impressions on LDL++ and CORAL.
134-145
- Jiawei Han, Ling Liu, Zhaohui Xie:
LogicBase: A System Prototype for Deductive Query Evaluation.
146-160
Demo Presentations (Data Sheets)
- Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
The Aditi Deductive Datebase System.
161
- Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, S. Sudarshan:
The CORAL Deductive Database System.
162
- Marcia A. Derr, Geoffrey Phipps:
Demonstrating the Glue-Nail Deductive Database System.
163
- Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
The XSB Programming System.
164
- Jiawei Han, Ling Liu, Zhaohui Xie:
Outline of the LogicBase Demonstration.
165
- Burkhard Freitag, Heribert Schütz, Günther Specht:
Overview of the deductive database system LOLA.
166
- Stéphane Bressan, Willem Jonker, Andrea Sikeler:
Extending Deductive Databases with Object Orientation.
167
- Mariano P. Consens, Alberto O. Mendelzon:
Hy+: A Hypergraph-based Query and Visualization System.
168-169
Copyright © Fri Mar 12 17:09:33 2010
by Michael Ley (ley@uni-trier.de)