
ICLP'93 Workshop: Deductive Databases
Call for Papers
ICLP'93 Postconference Workshop on
Deductive Databases
Budapest, Hungary
June 25, 1993
Sponsored by the Association of Logic Programming
One of the principal aims of research in deductive databases is to
provide a declarative programming framework for building database
applications. The research is also concerned with alleviating the
shortcomings of traditional database programming languages like SQL
etc. A deductive database system combines traditional database
facilities with a powerful LOGIC-BASED language for queries, reasoning
and application development. Recent research in this area has been
closely linked to research in Non-monotonic reasoning, Semantics of
logic programs and Ordered logic.
The workshop is intended to bring together researchers (theoreticians
as well as practicioners) involved in the area of deductive databases
and deductive computing. The aim is to provide a forum for discussing
and exchanging ideas on various aspects of deductive databases such
as:
- Object-oriented deduction (i.e. hierarchies and deduction)
- Negation
- Non-monotonic deduction
- Sets (matching and unification)
- Paraconsistency
- Abstract data types
- Meta programming
- Compilation techniques (magic sets, counting etc.)
- Abstract machines (execution architectures and computational models)
- Query optimization techniques
- Applications
Papers (full papers and extended abstracts) are solicited on any
aspect of deductive databases. Papers must be written in English, must
not exceed 10 pages, and should include both an abstract and keywords
to define the topic. Authors are asked to submit four copies to
either Els Laenens or Natraj Arni at the addresses below.
Submit papers to either:
Els Laenens Natraj Arni
Dept. of Math. and CS MCC
University of Antwerp (RUCA) 3500, West Balcones Ctr. Dr.
Groenenborgerlaan 171 Austin, TX. 78759
2020 Antwerpen U.S.A.
Belgium
Phone: +32 3 218.04.77 Phone: +1 512 338-3718
Fax: +32 3 820.22.44 Fax: +1 512 338-3890
Submissions Due: April 1, 1993
Notification: May 1, 1993
Final Version Due: May 15, 1993