CALL FOR PARTICIPATION IN ICDT 1997


Call for Participation

6TH INTERNATIONAL CONFERENCE ON DATABASE THEORY

(ICDT 97)

Delphi, Greece, January 8-10, 1997

In cooperation with
ACM COMPUTER SOCIETY and IEEE COMPUTER SOCIETY
Invited Talks Invited Tutorial

Conference Programe Conference Organization

Deadlines General Information

ICDT is a biannual international conference on theoretical aspects of databases and a forum for communicating research advances on the principles of database systems. Previous ICDT conferences were held in Rome (1986), Bruges (1988), Paris (1990), Berlin (1992), and Prague (1995). Since 1992, ICDT has been merged with the Symposium on Mathematical Fundamentals of Database Systems (MFDBS), another series of conferences on theoretical aspects of database systems that was initiated in Dresden (1987), and continued in Visegrad (1989) and Rostock (1991).

***************************************************************************

ICDT'97 HIGHLIGHTS
* Invited talks by S. Abiteboul and J. Ullman
* Invited tutorial on data mining by H. Mannila
* Presentations of 29 technical papers selected out of 119 submissions
***************************************************************************

INVITED TALKS
=============


Speaker: S. Abiteboul (INRIA and Stanford University)
------------
Title: ..............

Abstract: ............................

About the speaker:


Speaker: J. Ullman (Stanford University)
---------
Title: Information Integration Using Logical Views
Abstract: A number of ideas concerning information-integration tools can be thought of as constructing answers to queries using views that represent the capabilities of information sources. We review the formal basis of these techniques, which are closely related to containment algorithms for conjunctive queries and/or datalog programs.
Then we compare the approaches taken by AT&T Labs' "Information Manifold" and the Stanford "Tsimmis" project in these terms.

About the speaker:

Jeff Ullman is the Stanford W. Ascherman Professor of Engineering and acting chair of the Department of Computer Science at Stanford. He received the B.S. degree from Columbia University in 1963 and the PhD from Princeton in 1966. He has served as chair of the CS-GRE Examination board, Member of the ACM Council, Chair of the New York State CS Doctoral Evaluation Board, on several NSF advisory boards, and is past or present editor of several journals. He is presently a member of the Computing Research Association Board. Ullman was elected to the National Academy of Engineering in 1989, has held Guggenheim and Einstein Fellowships, and is the 1996 winner of the Sigmod Contributions Award. He is the author of 14 books, including a 2-volume series on Database Systems. His research interests include information integration, warehouse design, and data mining.

*****************************************************************************

INVITED TUTORIAL
================

Speaker: H. Mannila (University of Helsinki)
----------
Title: ..............

Abstract:

About the speaker:

*****************************************************************************

CONFERENCE PROGRAM
===================

TUESDAY JANUARY 7 1997
----------------------

16:00 and 20:00 Conference buses depart from Athens airports to Delphi

19:00 - 23:00 Registration

20:00 - 22:00 Reception (with light dinner)


WEDNESDAY, JANUARY 8, 1997
-------------------------

9:00 - 10:00 Invited talk by J.D. Ullman (Stanford Univ.)
Information Integration Using Logical Views
Chair: ???


10:00 - 10:30 Coffee break

10:30 - 12:30 Session 1: Conjunctive Queries in Heterogeneous Databases
Chair: ???

Conjunctive query containment revisited
--- C. Chekuri (Stanford Univ.), A. Rajaraman (Stanford Univ.)

Semantics and containment with internal and external conjunctions
--- G. Grahne (Univ. Helsinki), N. Spyratos (LRI, Orsay),
D. Stamate (LRI, Orsay)

Efficient complete tests for conjunctive query
constraints with negation
--- N. Huyn (Stanford Univ.)

Selection of views to materialize in a data warehouse
--- H. Gupta (Stanford Univ.)

12:30 - 14:30 Lunch


14:30 - 16:00 Session 2: Logic and Databases I
Chair: ???

Total and partial well-founded Datalog coincide
--- J. Flum (Univ. Freiburg), M. Kubierschky (Univ. Freiburg),
B. Ludaescher (Univ. Freiburg)

Fine hierarchies of generic computation
--- J. Tyszkiewicz (RWTH Aachen)

Local properties of query languages
--- G. Dong (Univ. Melbourne) , L. Libkin (Bell Labs),
L. Wong (I.S.S., Singapore)


16:00 - 16:30 Coffee break

16:30 - 18:30 Session 3: Active Databases
Chair: ???

A model theoretic approach to update rule programs
--- N. Bidoit (Univ. Paris XIII), S. Maabout (Univ. Paris XIII)

Expressiveness and complexity of active databases
--- P. Picouet (E.N.S.T.), V. Vianu (UC San Diego)

Abstract interpretation of active rules and its use in
termination analysis
--- J. Bailey (Univ. Melbourne), L. Crnogorac (Univ. Melbourne),
K. Ramamohanarao (Univ. Melbourne), H. Sondergaard (Univ. Melbourne)

Structural issues in active rule systems
--- J. Bailey (Univ. Melbourne), G. Dong (Univ. Melbourne),
K. Ramamohanarao (Univ. Melbourne)

19:00 - 20:00 Business Meeting

------------------------------------

THURSDAY, JANUARY 9, 1997
-------------------------

8:30 - 10:00 Invited tutorial by H. Mannila (Univ. Helsinki)
Chair: ???

10:00 - 10:30 Coffee break

10:30 - 12:30 Session 4: New Applications
Chair: ???

Discovering all most specific sentences by randomized algorithms
--- D. Gunopoulos (MPI), H. Mannila (Univ. Helsinki), S. Saluja (MPI)

A formal foundation for distributed workflow execution based on state charts
--- D. Wodtke (Univ. Saarland), G. Weikum (Univ. Saarland)

Incorporating user preferences in multimedia queries
--- R. Fagin (IBM Almaden), E.L. Wimmers (IBM Almaden)

Queries and computation on the web
--- S. Abiteboul (INRIA and Stanford Univ.), V. Vianu (UC San Diego)


12:30 - 14:00 Lunch

14:00 - 16:30 Tour of the Delphi archaeological site and museum

16:30 - 17:00 Coffee break

17:00-18:00 Session 5: Logic and Databases II
Chair: ???

The complexity of iterated belief revision
--- P. Liberatore (Univ. Roma "La Sapienza")

Expressive power of unary counters
--- M. Benedikt (Bell Labs), H.J. Keisler (Univ. Wisconsin)

18:00-19:00 Session 6: Concurrency Control
Chair: G. Vossen

Concurrency control theory for deferred materialized views
--- A. Kawaguchi (Columbia Univ.), D. Lieuwen (Bell Labs),
I. Mumick (Bell Labs), D. Quass (Stanford Univ),
K. Ross (Columbia Univ.)

Serializability of nested transactions in multidatabases
--- U. Halici (METU, Ankara), B. Arpinar (METU, Ankara),
A. Dogac (METU, Ankara)

20:30 Conference Banquet

---------------------------------------------------

FRIDAY, JANUARY 10, 1997
------------------------

9:00 - 10:00 Invited talk by S. Abiteboul

10:00 - 10:30 Coffee break

10:30 - 11:30 Session 7: Unstructured Data
Chair: ???

Adding structure to unstructured data
--- P. Buneman (Univ. Pennsylvania), S.Davidson (Univ. Pennsylvania),
M. Fernandez (AT&T Research), D. Suciu (AT&T Research)

Correspondence and translation for heterogeneous data
--- S. Abiteboul (INRIA and Stanford Univ.), S. Cluet (INRIA),
T. Milo (Univ. Tel Aviv)


11:30 - 12:30 Session 8: Object Oriented Databases
Chair: ???

Type consistency problems for queries in object-oriented databases
--- Y. Ishihara (Nara Institute), H. Seki (Nara Institute),
M. Ito (Nara Institute)

Object-oriented database evolution
--- J.-B. Lagorce (LRI, Orsay), A. Stockus (LRI, Orsay),
E. Waller (LRI, Orsay)


12:30 - 14:30 Lunch

14:30 - 16:00 Session 9: Access Methods
Chair: ???
Performance of nearest neighbor queries in R-trees
--- A. Papadopoulos (Aristotle Univ. of Thessaloniki),
Y. Manolopoulos (Aristotle Univ. of Thessaloniki)

Optimal allocation of two-dimensional data
--- K. Abdel-Ghaffar (UC Davis), A. El Abbadi (UC Santa Barbara)

Efficient indexing for constraint and temporal databases
--- S. Ramaswamy (Bell Comm. Res.)

16:00 - 16:30 Coffee break

16:30 - 18:00 Session 10: Spatial Data and Bulk Data
Chair: ??

On topological elementary equivalence of spatial databases
--- B. Kuijpers (Univ. Antwerp), J. Paredaens (Univ. Antwerp),
J. Van den Bussche (Univ. Antwerp)

Dynamic constraint databases for spatial data
--- P.Z. Revesz (Univ. Nebraska)

Tractable iteration mechanisms for bag languages
--- L. Colby (Bell Labs), L. Libkin (Bell Labs)


18:30 - 19:30 Dinner (at the conference center)

20:00 Conference buses depart for Athens


*****************************************************************************
CONFERENCE ORGANIZATION
=======================
Program co-chairs: Foto Afrati (NTUA Athens)
Phokion G. Kolaitis (UC Santa Cruz)


Program committee members:

F. Afrati (Greece) M. Cadoli (Italy) S. Chaudhuri (USA)
S. Cluet (France) T. Eiter (Austria) C. Faloutsos (USA)
S. Greco (Italy) M. Gyssens (Belgium) O.H.G.Katona(Hungary)
P. Kolaitis (USA) G. Kuper (Germany) T. Milo (Israel)
M. Ozsoyoglu (USA) J. Pokorny (Czech Rep.) V. Sazonov (Russia)
H-J. Schek (Switzeland) E. Soisalon-Soininen (Finland) J. Su (USA)
V. Tannen (USA) D. Van Gucht (USA) V. Vianu (USA)
G. Vossen (Germany) P. Wolper (Belgium) J. Zlatuska (Czech Rep.)


Organizing committee co-chairs: Foto Afrati, Theodora Varvarigou (NTUA Athens)

Organizing committee members: Izambo Karali (Univ. Athens), Theodore Kavalieros,
Theodore Mitakos, Costas Petropulos,
Francesca Toni (NTUA Athens)

WWW: http://www.softlab.ece.ntua.gr/public/AD/icdt97.html

For further information, contact teo@softlab.ece.ntua.gr

*****************************************************************************
+---------------------------------------------------------+
| DEADLINES |
| |
| Early Registration 15 November 1996 |
| Hotel Reservation 31 October 1996 |
+---------------------------------------------------------+

******************************************************************************

GENERAL INFORMATION
===================

LOCATION
---------
ICDT '97 will be held at the European Cultural Center of Delphi, Greece.
Delphi (elevation 573 m.) is located in a magnificent natural setting
about 170 km N/W of Athens on the undercliffs of Mount Parnassus.
The drive from Athens to Delphi takes about three hours.
Delphi hosts one of the most significant archaeological sites in Greece.
Although today it is just a small village, historically Delphi has been one
of the cornerstones of ancient Greek civilization. Indeed, in antiquity Delphi
was the seat of the oracle of Apollo, which was particularly active
during the 7th and the 6th centuries BC and had to be consulted for
essentially every major political decision. Ancient Greeks considered
Delphi to be the "navel of the world". The shrine was administered by a
panhellenic confederation, which every four years organized the Pythian Games;
these were second only to the Olympic Games, but with more prominence
on music and drama, as they were dedicated to Apollo.

WEATHER
--------

January is winter time in Greece. The temperature at Delphi in January
typically ranges from 5 to 15 degrees C (41-59 degrees F),
with a small probability of being lower than 5 degrees C (41 degrees F).

CURRENCY AND EXCHANGE
---------------------

The Greek currency it the drachma (DR). In September, 1 US$ is about 235 DR.
You can change money both at the airport and in Delphi.

TIME
----
Greece uses +2 hour GMT (Greenwich Mean Time).


THINGS TO DO
-------------

Delphi's archeological site has many interesting monuments and temples,
including the sanctuary of Apollo, the theatre where the
Delphic festivals were held, the stadium, the Kastalia Fountain
where the Pythia, priestess of Apollo, would bathe before uttering her
oracular utterances, and the tholos or rotunda, one of the most remarkable
architectural constructions of antiquity (depicted on the conference poster).
The collection of the Delphi museum consists exclusively of objects
found on the archaeological site, including the famous bronze statue of the
charioteer and the "navel of the world".

In Delphi and the surrounding villages you can find tavernas, restaurants,
coffee houses, and bars.

>From Delphi you can visit the ski resources of Mount Parnassus (elevation
2400 m), the town of Itea (17 km), a pleasant summer resort by the sea,
the town of Amfissa (22 km) surrounded by a forest of olive trees,
and the monastery of Hosios Loukas (36 km), an outstanding example of
Byzantine art and architecture.


PROCEEDINGS
===========

The conference proceedings will appear as a volume in the "Lecture Notes in
Computer Science" (LNCS) series, published by Springer-Verlag, and will
be available at the conference. Each registered participant will receive
a copy of the proceedings (except for students).


REGISTRATION
============

PROCEDURE
----------
People wishing to attend the conference should fill out the enclosed
registration form and return it (or facsimile thereof) together
with the proper payment to the address below. E-mail registration
is strongly preferred. An e-mail registration form is available from
URL: ...... and is also attached to the end of this message.


+-----------------------------------------------------------------------------+
| Foto Afrati, ICDT'97 |
| National Technical University os Athens |
| Division of Computer Science Email:teo@softlab.ece.ntua.gr |
| Dept of Electrical & Computing Engineering tel : +30-1-7722498 |
| 15773 Zographou, Athens fax : +30-1-7722499 |
| GREECE |
+-----------------------------------------------------------------------------+

It is suggested to register for the conference at your earliest convenience.
As soon as both registration forms and fees have been received,
an e-mail confirmation will be sent.

Please make sure that your society affiliation (membership number)
and/or university affiliation are shown on your registration form,
or that proof of your full time student status comes together with it.
Otherwise, a discount on the conference fee cannot be granted.

A separate form must be completed by each participant.
Registration by phone, fax or e-mail is acceptable only if the applicable
payment is transmitted in parallel. On-site registration will be available
at the conference office during ICDT'97 starting Tuesday, January 7, 19.00.

PARTICIPANT REGISTRATION
------------------------
Before 12 November 1996 After 12 November 1996
Member* US$ 430 US$ 500
Regular US$ 500 US$ 550
Student US$ 270 US$ 300


* For members of ACM and IEEE.


The conference fee includes admission to all sessions
of the conference, including the invited talks and tutorial,
a copy of the proceedings (not included in the student fee),
refreshments during the breaks, lunches, transportation from and to Athens via
the transfer buses of the conference,and the social events (reception on
January 7, tour of the archaeological site and conference banquet on January 9
-the latter not included in the student fee).


A SPECIAL NOTE FOR EAST EUROPEAN PARTICIPANTS
----------------------------------------------

A limited number of free participations for people from
Eastern Europe (free conference attendance and accomodation)
will be offered. To become eligible for the support,
please apply to Foto Afrati by e-mail (afrati@softlab.ece.ntua.gr) before
November 15, 1996.

CANCELLATION AND REFUND
-----------------------

Cancellation must be made in written form to the organisers.
If cancellation notification is received before December 11, 1996,
80% of the fee will be refunded; no refunds will be made thereafter.
For registered participants who cannot attend, the proceedings
will be mailed after the conference.

METHOD OF PAYMENT
-----------------

Payment of the registration fees should be made in US dollars
in one of the following ways:

* cheque payable to ICDT'97, mailed with the registration form,

* bank tranfer to .........
Acc. No:..........
SWIFT address: .........
Fax: .........
whose receipt can be either faxed to the number +30-1-7722499 or mailed.

* Upon arrival to the secretariat desk (but not with the reduced fees).



SOCIAL EVENTS
=============

TUESDAY, JANUARY 7, 1997 Welcome reception with light dinner at
20:00 AND 22:00 the EUROPEAN CULTURAL CENTER OF DELPHI.


THURSDAY, JANUARY 9,1997 Tour of Delphi archeological site and museum.
14:00 - 16:30

20:30 Conference Banquet.*
During the banquet, a performance of
Greek music will take place.

*The cost of the banquet for every accompanying person is US $50 per person.


TRAVEL INFORMATION
==================

VISA
----

No entry visa is required for visitors from EEC countries, USA, and
Canada. For other countries, information about visa can be obtained
from the Greek Consulates or airlines.


LETTERS OF INVITATION
---------------------

Upon request, the secretariat of the conference will send a personal
invitation for participation in the conference. It should be understood that
such an invitation is only to help participants to the conference to obtain a
visa and does not constitute a commitment on the part of the organizers to
provide any financial suport.


TO AND FROM DELPHI
------------------

THROUGH ATHENS

By plane: Athens International Airport has two terminals. OLYMPIC AIRWAYS
passengers arrive at the Western Terminal.
Passengers of all other airlines arrive at the Eastern Terminal.

ATHENS-DELPHI

B Y T H E I C D T' 9 7 B U S (3 hours):
* There are two conference buses on Tuesday , January 7, from Athens to Delphi:
the first bus departs: at 16:00 from the airport (arrivals) and
at 16:30 from the Chandris Hotel (see accomodation)
the second bus departs: at 20:00 from the airport (arrivals) and
at 20:30 from the Chandris Hotel
* There is a conference bus on Friday, January 10, from Delphi to Athens,
departing at 20:00 (and stopping both at the Chandris Hotel and at the airport).

Conference bus transportation is included in the Registration Fee.


P U B L I C T R A N S P O R T A T I O N

To reach the CHANDRIS HOTEL, take a taxi from the airport
(approximatively 8 US$).
The address of the Chandris Hotel is ????????

Buses from ATHENS TO DELPHI leave from Liossion St:

 
+---------------------+---------------+ 
|  FROM               |  TO           |
+=====================+===============+
|  Athens@Liossion St |  Delphi       |
+=====================+===============+
|  7:30               |  10:30        |
+---------------------+---------------+
|  10:30              |  13:30        |
+---------------------+---------------+
|  14:30              |  17:30        |
+---------------------+---------------+
|  17:30              |  20:30        |
+---------------------+---------------+
+-------------+-----------------------+
|  FROM       |  TO                   |
+=============+=======================+
|  Delphi     |  Athens@Liossion St   |
+=============+=======================+
|  5:30(????) |  8:30                 |
+-------------+-----------------------+
|  9:00       |  12:00                |
+-------------+-----------------------+
|  10:30      |  13:30                |
+-------------+-----------------------+
|  13:30      |  18:00                |
+-------------+-----------------------+
|  16:00      |  19:00 (Fri&Sun only) |
+-------------+-----------------------+
|  18:00      |  21:00                |
+-------------+-----------------------+


The cost of the bus is DR 2600 one-way.

To reach Liossion St, either take a taxi from the airport
(approximatively 15 US$) or take the bus number 091 from the airport to
Syntagma Square (160 DR) and then a taxi from there to Liossion St
(approximatively 10 US$). It is advisable to take a taxi directly from
the airport.

Once in Delphi, you can walk to your assigned hotel.


ACCOMMODATION
=============

HOTEL RESERVATION
-----------------

We have reserved rooms in a number of small and cute hotels and also the block
of rooms that the cultural centre of Delphi provides for conference
participants. The special prices that we got are as follows: (rates in US $)


HOTEL SINGLE DOUBLE
----- ------ ------
ATHENS CHANDRIS 117 147
EUROPEAN CULTURAL CENTRE 61 88
OF DELPHI
HOTEL I 85 102
HOTEL II 50 78

All rates are per room and night and include breakfast, taxes and services.


ACCOMMODATION FEES
------------------
Those wishing to book accommodation in Athens, Delphi and conference bus
transportation Athens-Delphi-Athens are requested to complete the
attached Accommodation Form and send it before OCTOBER 31 to the Secretariat
office (24 Voulis str., 10562 Athens Greece c/o M. Bessieri) in one of
the two following ways (payment should be made in US dollars):

* a cheque payable to M. BESSIERI, or

* bank transfer to ERGOBANK S.A, Voulis Branch
Acc. No: 75/02148-01251/58, c/o M. BESSIERI
SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
Fax: 301-3222 264.

In the case you pay by bank transfer, you may e-mail your accomodation form
to teo@softlab.ece.ntua.gr and fax the receipt of payment to the number
+30-1-7722499.

The secretariat office will send a confirmation to each participant with
details for the hotel.
The reservation will be confirmed only upon receipt of the payment.


FORMS
=====

------------------------------------------------------------------------
REGISTRATION FORMS (Please type or print)
------------------------------------------------------------------------

Name ___________________________________First Name______________________

Affiliation ____________________________________________________________

Street Address _________________________________________________________

City, State, Postal Code _______________________________________________

Country ________________________________________________________________

Phone(s) _______________________________________________________________

Fax ____________________________________________________________________

E-mail _________________________________________________________________


Dietary Restrictions (circle if applicable): Vegetarian


Before 15 November 1996 After 15 November 1996
----------------------- -----------------------
Member* $400 $500
Regular $500 $550
Student# $270 $300


* For members of ACM and IEEE. Please quote the membership number.

# If you apply for the student fee, please attach a copy of your student
identification for the ongoing year or a letter signed by the head of your
department confirming that you are a student.


Number of members:____________ Total Cost:____________
Number of regular:____________ Total Cost:____________
Number of students:___________ Total Cost:____________

Total Cost:____________


Banquet $50.00 per person (students or accompanying)

Number of banquet tickets:____________ Total Cost:____________


Total Due: ______________________________


Payment: please enclose either
-------
* a cheque payable to ...... ICDT'97
(Do not forget to sign and write your name on the back of the check)
* a bank tranfer to ????????
Acc. No:..........
SWIFT address: .........
Fax: .........


--------------------------------------------------------------------------
ACCOMMODATION FORM [Please type or print. ONE FORM PER REGISTERED PERSON]
--------------------------------------------------------------------------

Name __________________________________First Name________________________

Affiliation _____________________________________________________________

Street Address __________________________________________________________

City, State, Postal Code ________________________________________________

Country _________________________________________________________________

Phone(s) ________________________________________________________________

Fax _____________________________________________________________________

E-mail _________________________________________________________________


Arrival Date______________________Airline/No. Flight____________________
Arrival Time____________________________________________________________
Departure Date____________________Airline/No. Flight____________________
Departure Time__________________________________________________________


[Prices are per room per night. Please write the required number of
rooms in the appropriate cells]

HOTEL ACCOMMODATION IN ATHENS
=============================
CHANDRIS HOTEL: US$ 117 (single) US$ 147 (double)
single [  ]        double [  ] name of other occupant:_____________________


Before the conference
---------------------
FROM _________(date of arrival) TO __________________(date of departure)

After the conference
--------------------
FROM _________(date of arrival) TO __________________(date of departure)

Total cost US $________________


HOTEL ACCOMMODATION IN DELPHI
=============================
SINGLE DOUBLE
EUROPEAN CULTURE CENTER US$61 US$88
HOTEL I US$85 US$102
HOTEL II US$50 US$78
       EUR. CUL. CEN.    HOTEL I      HOTEL II
single [  ]              [  ]         [  ]
double [  ]              [  ]         [  ] name of other occupant:_____________________


FROM _________(date of arrival) to __________________(date of departure)

Total cost US $________________

Total due US $________________


BUS RESERVATION (free)
----------------------

Write on the appropriate cells the required number of seats:
       
                            +-----------------+------------------+
                            | from airport    | from Chandris    | 
 + -------------------------+-----------------+------------------+
 | first bus on January 7   |(16:00 hours)    | (16:30 hours)    |
 |                          |                 |                  |
 +--------------------------+-----------------+------------------+
 | second bus on January 7  |(20:00 hours)    | (20:30 hours)    |
 |                          |                 |                  |
 +--------------------------+-----------------+------------------+

 
+ -------------------------+---------+
| bus on January   10      |         |                
|                          |         |               
+--------------------------+---------+




Payment: please enclose either
-------
* a cheque payable to M. BESSIERI or
(do not forget to sign,
write your name and refer to ICDT'97 on the back of the check)
or

* bank transfer to ERGOBANK S.A, Voulis Branch
Acc. No: 75/02148-01251/58, c/o M. BESSIERI
SWIFT Address ERGOGRAA, 3 Kolokotroni str. 10562 Athens-Greece
Fax: 301-3222 264,
(do not forget to write your name and refer to ICDT'97)