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 BibTeX
- Nathan Goodman, Steve Rozen, Lincoln Stein:
Requirements for a Deductive Query Language in the MapBase Genome-Mapping Database.
18-32 BibTeX
- William G. Roth, Raghu Ramakrishnan, Praveen Seshadri:
MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain.
33-43 BibTeX
- Dimitra Vista, Peter T. Wood:
Efficient Visual Queries for Deductive Databases.
44-59 BibTeX
- Shawn Shaw, Lena Foggiato-Bish, Iris Garcia, Gherin Tillman, Dave Tryon, Wendy Wood, Carlo Zaniolo:
Improving Data Quality Via LDL++.
60-73 BibTeX
- Richard R. Muntz, Eddie C. Shek, Carlo Zaniolo:
Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.
74-86 BibTeX
- Amitabh Saran, Keith K. Park, Yongmao Chen, Ana Paula de Aguiar, Terence R. Smith, Jianwen Su:
Developing Applications with CORAL.
87-96 BibTeX
- Oris Friesen:
A Declarative Language Environment for Knowledge-Workers.
97-110 BibTeX
- David Scott Warren:
Programming the PTQ Grammar in XSB.
111-123 BibTeX
- Günther Specht, Burkhard Freitag, Heribert Schütz:
AMOS: A Natural Language Parser written in LOLA.
124-133 BibTeX
- Ping-Yu Hsu, Carlo Zaniolo:
A new User's Impressions on LDL++ and CORAL.
134-145 BibTeX
- Jiawei Han, Ling Liu, Zhaohui Xie:
LogicBase: A System Prototype for Deductive Query Evaluation.
146-160 BibTeX
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 BibTeX
- Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, S. Sudarshan:
The CORAL Deductive Database System.
162 BibTeX
- Marcia A. Derr, Geoffrey Phipps:
Demonstrating the Glue-Nail Deductive Database System.
163 BibTeX
- Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
The XSB Programming System.
164 BibTeX
- Jiawei Han, Ling Liu, Zhaohui Xie:
Outline of the LogicBase Demonstration.
165 BibTeX
- Burkhard Freitag, Heribert Schütz, Günther Specht:
Overview of the deductive database system LOLA.
166 BibTeX
- Stéphane Bressan, Willem Jonker, Andrea Sikeler:
Extending Deductive Databases with Object Orientation.
167 BibTeX
- Mariano P. Consens, Alberto O. Mendelzon:
Hy+: A Hypergraph-based Query and Visualization System.
168-169 BibTeX
Copyright © Sat May 16 23:06:21 2009
by Michael Ley (ley@uni-trier.de)
