Proceedings of the workshop

ADVANCES IN LOGIC-BASED DATABASE LANGUAGES

Prague, Czech Republic, Jan. 9, 1995

organized by

DEUS EX MACHINA - Non determinism in deductive databases (EC-US Explorative Collaborative Activity)

and

COMPULOG NET - Deductive Database Area

in conjunction with the

5th International Conference on Database Theory ICDT'95

The project DEUS EX MACHINA and the Deductive Database Area of COMPULOG NET organized this one-day workshop presenting ongoing research in the area of logic-based database languages and deductive databases.

Covered topics:

  • non-deterministic and object-oriented extensions
  • query expressiveness
  • database dynamics (updates, transactions)
  • active and heterogenenous databases
  • constraint reasoning

    • Organizers:

  • Dino Pedreschi (Univ. Pisa)
  • Domenico Sacca` (Univ. Calabria)
  • Stephane Grumbach (INRIA)

    • DEUS EX MACHINA is a EEC-US project, jointly sponsored by the European Community and the US National Science Foundation. Activity in the project covers the topics of this event. The leading investigators of the project are Dino Pedreschi (Univ. Pisa, Italy), Carlo Zaniolo (UCLA, US), Fosca Giannotti (CNUCE-CNR, Pisa, Italy), Stephane Grumbach (INRIA, France), Domenico Sacca` (Univ. Calabria, Italy), VS Subrahmanian (Univ. Maryland, US).

    COMPULOG NET is the Network of Excellence in Computational Logic supported by the ESPRIT program of the European Union. Founded in April 1991, the network now comprises over eighty nodes, each representing a research group, institution or company active in the area of computational logic. The objective of COMPULOG NET is to lay the foundations for an integrated software environment supporting knowledge-rich applications by extending the logic programming environment. The network is organized by scientific areas and, since the summer 1994, "Deductive Database" is one of them. The coordinator of the Deductive Database Area is Domenico Sacca' (Univ. Calabria, Italy).

    Technical program

    D. Pedreschi (Univ. Pisa) An overview of DEUS EX MACHINA .

    V. Vianu (Univ. of California at San Diego) A tutorial on rule-based languages

    S. Grumbach, Z. Lacroix (INRIA) Implicit definitions on data structures .

    S. Greco (Univ. Calabria) Programming with non-determinism

    A. Brogi, C. Zaniolo (UCLA) VS Subrahmanian (Univ. Maryland) The HERMES Heterogenenous Database and Reasoning Mediator System .

    D. Aquilino, P. Asirelli, C. Renso, F. Turini (CNR and Univ. Pisa) An operator for composing DDB's with theories of constraints .

    T. Eiter (Vienna Univ. of Tech.) Disjunctive Datalog .

    M. Kifer (Univ. of New York at Stony Brook) Concurrent Transaction Logic: a logic for programming database dynamics .

    J. Su (Univ. of California at Santa Barbara) Non-determinism in incremental query evaluation .

    Panel discussion: The future of logic-based database languages (Chairman: D. Sacca`, Univ. Calabria)