gyssens@uiag.UUCP (Gyssens Marc) (05/04/88)
Second International Conference on Database Theory
==================================================
Bruges (Belgium) : Wed August 31 till Fri Sept 2 , 1988
The following file is written in plain TeX, and contains the program as
well as practical information about the conference. The output should
contain 9 pages.
For more information contact :
Dirk Van Gucht (until June 30) Jan Paredaens
CS Dept. CS Dept.
Indiana University University of Antwerp (UIA)
Bloomington IN 47405-4101 B-2610 Wilrijk
USA Belgium
Phone : 1-812-335 6429 or 6486 Phone : 32-3-828 25 28 ext. 191 or 170
E-mail: vgucht@iuvax.indiana.edu E-mail: ..!mcvax!prlb2!uiag!pareda
==================================cut here==================================
\def\parskip{\par\penalty-100 \vskip 12pt plus 4pt minus 2pt\noindent}
\def\sskip{\par\penalty 1000 \vskip 6pt plus 3pt minus 1.5pt\noindent}
\def\ssskip{\par\penalty 1000 \vskip 4pt plus 2pt minus 1pt\noindent}
\hsize=18truecm
\vsize=24truecm
\hoffset=-0.4truecm
\voffset=0.3truecm
\hfuzz=2pt
\font\rme=cmr10 scaled \magstep1
\font\rmt=cmr10 scaled \magstep2
\font\rmd=cmr10 scaled \magstep3
\font\rmv=cmr10 scaled \magstep4
\font\ite=cmti10 scaled \magstep1
\font\itt=cmti10 scaled \magstep2
\font\bfe=cmbx10 scaled \magstep1
\font\bft=cmbx10 scaled \magstep2
\newtoks\footline
\footline={\hss\rmt\folio\hss}
\baselineskip 14pt
\ \par\vfill\noindent
$$\vbox{\halign{#\hfill\cr
{\rmt The Second$\vphantom{\hbox{\rmt y}}$}\cr
\noalign{\vskip 5pt}
{\rmd International Conference on Database Theory}\cr
\noalign{\vskip 5pt}
{\rmt Bruges, August 31 -- September 2, 1988}\cr
\noalign{\vskip 7.5pt\hrule height 0.4pt}}}$$
\ \par\vfill\noindent
{\bfe Sponsors}
\ssskip
Agfa-Gevaert\par\noindent
Apple Computer N.V.\par\noindent
IBM Belgium\par\noindent
Indiana University\par\noindent
Infotex Sydes sales organisation\par\noindent
Ministerie van de Vlaamse Gemeenschap\par\noindent
Nationaal Fonds voor Wetenschappelijk Onderzoek\par\noindent
Olivetti Belgische nv\par\noindent
Sabena Belgian World Airlines\par\noindent
Universitaire Instelling Antwerpen\par\vfill\noindent
{\bfe Correspondence address}
\ssskip
Jan Paredaens\par\noindent
Chairman ICDT\par\noindent
Computer Science Department\par\noindent
Universitaire Instelling Antwerpen\par\noindent
B-2610 Wilrijk\par\noindent
Belgium
\ssskip
{\ite e-mail:\/} prlb2!uiag!pareda\par\noindent
{\ite phone:\/} 32-3-828$\,$25$\,$28 ext.\ 170\par\noindent
{\ite fax:\/} 32-3-827$\,$08$\,$74\par\noindent
{\ite telex:\/} 33646\par\vfill\noindent
{\bfe Organizing committee}
\ssskip
Paul De Bra (Universiteit Antwerpen), Dirk Janssens (Limburgs
Universitair Centrum), Marc Gyssens (Universiteit Antwerpen),
Jan Paredaens (Universiteit Antwerpen), Dirk Van Gucht (Indiana
University, Bloomington).
\parskip
\parskip
{\bfe Program committee}
\ssskip
Fran\c cois Bancilhon (INRIA, Le Chesnay, France), Joachim Biskup
(Hochschule Hildesheim, FRG), Wiebren de Jonge (Vrije Universiteit
Amsterdam, the Netherlands), Marc Gyssens (Universiteit Antwerpen,
Belgium), Richard Hull (University of Southern California, Los Angeles,
USA), Gerhard Jaeschke (IBM Heidelberg, FRG), Paris Kanellakis (Brown
University, Providence RI, USA), Per-$\smash{\hbox{\rme \AA}}$ke Larson (University of
Waterloo, Ont., Canada), Meral $\smash{\hbox{\rme\"O}}$zsoyo\v glu (Case Western Reserve
University, Cleveland OH, USA), Jan Paredaens (Universiteit Antwerpen,
Belgium), Domenico Sacca (CRAI, Rende, Italy), Dirk Van Gucht (Indiana
University, Bloomington, USA).
\par\eject\noindent\baselineskip18pt
\noindent\rmd The Second$\vphantom{\hbox{\rmd y}}$
\par\vskip 6pt plus 2pt minus 1pt\noindent\rmv
International Conference on Database Theory
\par\vskip 6pt plus 2pt minus 1pt\noindent\rmd
Bruges, August 31 -- September 2, 1988
\par\vskip 9pt plus 3pt minus 2pt\noindent\hrule height 0.5pt
\par\vskip 12pt plus 4pt minus 2pt\noindent\rmt
The {\itt International Conference on Database Theory (ICDT)\/} is organized
every two years under approval of the {\itt European Association for
Theoretical Computer Science\/} and intends to provide a
European forum for the international research community working on
theoretical issues related to database systems. A few years ago, the need
for such a European based conference was strongly felt which resulted
in the organization of the first ICDT in Rome, in September 1986. This
meeting turned out to be highly successful: 83 papers were submitted from
20 different nations, 24 of which were selected for presentation at the
conference.
\parskip
It was decided to have the {\itt University of Antwerp\/} organize the second
ICDT in Belgium. From several possible locations, Bruges was selected
as the conference site. Bruges is a rather small but charming city not
far from the North Sea. It used to be a very important center of trade and
culture in the 13th--15th century and managed to maintain its medieval
character to the present day. To the special atmosphere it breathes,
further enhanced with the numerous small canals crossing the city, that
gave it the nick name ``Venice of the North'', Bruges today owes its
world fame.
\parskip
For the organization, we could count on {\itt Indiana University\/},
Bloomington (USA) for arranging the contacts with the North-American
database community. We also received cooperation from the University of
Limburg (Belgium).
Main topics of this year's ICDT are:
artificial intelligence, complexity and optimization, concurrency control, data
models, deductive databases, dependencies and constraints, distribution
and parallelism in DBS, incomplete information, logic in DBS, query
languages, and updates and transactions.
\parskip
Again, ICDT could attract the attention of the international
database community: we received 87 papers sent from 18 countries. From
these, 23 were selected by the program committee for presentation at the
conference.
The program committee was pleased with the overall good quality of the
submitted papers, so that it was hard to make a selection among them. Several
valuable papers had to be rejected because they could not possibly be
accommodated at the conference.
All accepted papers will appear
as a volume in the series ``Lecture Notes in Computer Science'', published by
Springer Verlag.
\par\eject\noindent\baselineskip17.5pt
{\rmv Practical Information$\vphantom{\hbox{\rmv y}}$}
\par\vskip 9pt plus 3pt minus 2pt\noindent\hrule height 0.5pt
\par\vskip 12pt plus 4pt minus 2pt\noindent\rmt
{\bft General information}
\sskip
The second International Conference on Database Theory is taking place from
Wednesday, August 31 until Friday, September 2 at the Novotel Hotel in
Bruges. Technical sessions are held all day Wednesday and Thursday, and
Friday morning. On Friday afternoon, we plan a guided tour around
Bruges. All correspondence regarding this conference including
registration forms and payments, should be sent to {\itt Jan Paredaens,
Chairman ICDT\/} (address on p.\ 1).
\sskip
Until June 30, however, North-Americans can also obtain additional
information through Dirk Van Gucht, Computer Science Department, Indiana
University, Bloomington, IN 47405-4101, USA. Note however that
registration forms, payments, etc.\ must be sent to Belgium!
\parskip
{\bft Proceedings}
\sskip
The conference proceedings appear as a volume of {\itt Lecture
Notes in Computer Science\/}, published by Springer Verlag. Each
participant will receive his copy of the proceedings at the conference.
Additional copies will be available at a unit price of 1000 Belgian
francs.
\parskip
{\bft Hotel accommodation}
\sskip
The second ICDT will be held at the {\itt Novotel\/} hotel in Bruges, which
is situated at about 4 km of the city center. The hotel is accomodated
with an open air swimming pool and all rooms have private bathroom,
separate toilet, direct dial telephone, automatic alarm clock, color
television and individual heating control. A special rate has been
obtained for the conference.
\sskip\baselineskip 14pt
{\bfe Hotel address}
\ssskip
{\rme Novotel\par\noindent
Chartreuseweg 20\par\noindent
B-8200 Brugge\par\noindent
Belgium
\ssskip
{\ite phone:\/} 32-50-38$\,$28$\,$51\par\noindent
{\ite fax:\/} 32-50-38$\,$79$\,$03\par\noindent
{\ite telex:\/} 81507}
\parskip\baselineskip18pt
{\bft Official dinner}
\sskip
On Thursday evening, a Bruges' style dinner is being organized at the
hotel. You will be served the typical Belgian cuisine and old music should
add luster to this tasty dinner.
\par\penalty-100\eject\noindent\baselineskip17pt
{\bft Excursion}
\sskip
The conference concludes with a guided excursion to the medieval
center of Bruges on Friday afternoon. You will enjoy the special
atmosphere dwelling over this city and will pick up some peculiarities
of its rich past. A boat trip on the small canals of Bruges
will offer you a most unique view of this city!
\parskip
{\bft Registration}
\sskip
People wishing to attend the conference should ask for a registration form,
fill it out and send it to {\itt Jan Paredaens, chairman ICDT\/}, together
with a check to the order of the {\itt second ICDT\/} for the amount due in
Belgian francs (BEF) or its equivalent in any freely convertible
currency{\baselineskip 14pt\footnote*{\noindent\rme European
participants are encouraged to use a {\ite Eurocheque\/}. In that case,
be sure to write the amount in Belgian francs (BEF), to mention
``Antwerp'' as the place where the check is drawn and do not forget to
mention your Eurocheque card number on the back; this saves us in bank
charges!}}. Basically, we are offering you the choice between three packages:
registration for one participant in a single room, registration for two
participants in a double room and registration for one participant plus
one accompanying person. Note that the third package does not include
lunches and coffee breaks for the accompanying person, which permits her
or him to make longer excursions during the daytime.
\sskip\baselineskip14pt
{\bfe Package 1: registration for 1 participant}
\ssskip
{\rme This package includes: admission to the technical sessions, one copy of
the proceedings, welcome drink on Tuesday evening, accomodation in a
single room, breakfast, lunch and coffee breaks on Wednesday, Thursday and Friday, a four
course dinner on Wednesday evening, the official dinner on Thursday
evening and the excursion on Friday afternoon. {\ite Price: 16$\,$000
BEF.}
\sskip
{\bfe Package 2: registration for 2 participants sharing a room}
\ssskip
This package includes for both participants the same conditions as Package 1,
except that they are accomodated in a double room. {\ite Price: 29$\,$000
BEF.}
\sskip
{\bfe Package 3: registration for 1 participant plus 1 accompanying person}
\ssskip
This package includes for the conference participant the same conditions
as Package 1, apart from
accomodation in a double room. For the accompanying person the following
provisions are included: welcome drink on Sunday evening, all breakfasts and
dinners, and the Friday afternoon excursion. {\ite Price: 22$\,$000
BEF.}}
\sskip\baselineskip18pt
People wishing to stay at the Novotel before or after the conference
period can indicate this
on the registration form. Additional nights (as well as supplementary
expenses) should be paid at the hotel upon departure. Singles are 2250
BEF and doubles 2750 BEF per night (+$\,$300 BEF p.p.\ for breakfast).
Extra lunch tickets for accompanying persons are available at the conference
and cost 700 BEF. They should be ordered at least one day in advance.
\par\eject\noindent\baselineskip18pt
{\rmv Scientific Program$\vphantom{\hbox{\rmv y}}$}
\par\vskip 9pt plus 3pt minus 2pt\noindent\hrule height 0.5pt
\par\vskip 12pt plus 4pt minus 2pt\noindent\rmt
{\bft Tuesday, August 30}
\sskip
{\bft Registration and Welcome Drink:\/} 20.00--22.00
\par\vfill\noindent
{\bft Wednesday, August 31}
\sskip
{\bft Session 1:\/} 09.00--10.25\par\noindent
{\itt Chair: Jan Paredaens (University of Antwerp)}
\ssskip
Invited talk by Nancy Lynch (MIT, Cambridge, Mass.): {\itt A Theory of
Atomic Transactions}
\ssskip
Dino Karabeg and Victor Vianu (University of California, San Diego):
{\itt Parallel Update Transactions}
\sskip
\line{\hfill{\bft Coffee Break}\hfill}
\sskip
{\bft Session 2:\/} 10.45--12.00\par\noindent
{\itt Chair: Catriel Beeri (Hebrew University, Jerusalem)}
\ssskip
Seymour Ginsburg and Stephen Kurtzman (University of Southern
California, Los Angeles): {\itt Spreadsheet and Object-History
P-Simulation}
\ssskip
P.\ Asirelli, P.\ Inverardi and A.\ Mustaro (CNR, Pisa): {\itt Improving
Integrity Constraint Checking in Deductive Databases}
\ssskip
Guido Moerkotte and Stefan Karl (University of Karlsruhe): {\itt
Efficient Consistency Control in Deductive Databases}
\sskip
\line{\hfill{\bft Lunch}\hfill}
\sskip
{\bft Session 3:\/} 14.00--15.15\par\noindent
{\itt Chair: Serge Abiteboul (INRIA, Le Chesnay)}
\ssskip
Victor Vianu and Gottfried Vossen (University of California, San Diego):
{\itt Conceptual Level Concurrency Control of Relational Update
Transactions}
\ssskip
K.\ Vidyasankar (Memorial University of Newfoundland, St.\ John's) and
C.N.G.\ Dampney (Macquarie University, North Ryde, NSW): {\itt Version
Consistency and Serializability in Design Databases}
\ssskip
Jehan-Fran\c cois Paris (University of California, San Diego): {\itt
Efficient Management of Replicated Data}
\sskip
\line{\hfill{\bft Coffee Break}\hfill}
\par\eject\noindent
{\bft Session 4:\/} 15.45--17.00\par\noindent
{\itt Chair: Joachim Biskup (University of Hildesheim)}
\ssskip
C.\ L\'ecluse and P.\ Richard (GIP Alta\"\i r, Le Chesnay): {\itt Modeling
Inheritance and Genericity in Object Oriented Databases}
\ssskip
Atsushi Ohori (University of Pennsylvania, Philadelphia): {\itt
Semantics of Types for Database Objects}
\ssskip
Katsumi Tanaka (Kobe University) and Masatoshi Yoshikawa (Kyoto Sangyo
University): {\itt Towards Abstracting Complex Database Objects:
Generalization, Reduction and Unification of Set-Type Objects}
\sskip
\line{\hfill{\bft Dinner}\hfill}
\par\vfill\noindent
{\bft Thursday, September 1}
\sskip
{\bft Session 5:\/} 09.00--10.25\par\noindent
{\itt Chair: Dirk Van Gucht (Indiana University)}
\ssskip
Invited talk by Serge Abiteboul (INRIA, Le Chesnay): {\itt Updates,
a New Frontier}
\ssskip
Udo W.\ Lipeck (Technical University of Braunschweig): {\itt
Transformation of Dynamic Integrity Constraints into Transaction
Specification}
\sskip
\line{\hfill{\bft Coffee Break}\hfill}
\sskip
{\bft Session 6:\/} 10.45--12.00\par\noindent
{\itt Chair: Seymour Ginsburg (University of Southern California, Los Angeles}
\ssskip
R.P.\ Cheetham, B.J.\ Oommen and D.T. Ng (Carleton University, Ottawa):
{\itt Adaptive Structuring of Binary Search Trees Using Conditional
Rotations}
\ssskip
{\textfont0=\rmt
\textfont1=\itt
\scriptfont0=\rme
Pratul Dublish and S.N.\ Maheshwari (IIT, New
Delhi): {\itt An $O(n^2)$ Equivalence Algorithm for Fan-Out Free
Queries}}
\ssskip
Fang Li and Lawrence V.\ Saxton (University of Regina, Sask.): {\itt
Two-Way Join Optimization in Partitioned Database Systems}
\sskip
\line{\hfill{\bft Lunch}\hfill}
\sskip
{\bft Session 7:\/} 14.00--15.15\par\noindent
{\itt Chair: Domenico Sacca (CRAI, Rende)}
\ssskip
Peter T.\ Wood, Alberto O.\ Mendelzon (University of Toronto) and Paolo
Atzeni (IASI-CNR, Rome): {\itt Idempotent Single-Predicate Horn Clauses}
\par\eject\noindent
E.A.\ Sonenberg and R.W.\ Topor (University of Melbourne): {\itt On
Domain Independent Disjunctive Databases}
\ssskip
Guozhu Dong (University of Southern California, Los Angeles): {\itt On
the Composition of Datalog Program Mappings}
\sskip
\line{\hfill{\bft Coffee Break}\hfill}
\sskip
{\bft Session 8:\/} 15.45--17.00\par\noindent
{\itt Chair: Nancy Lynch (MIT, Cambridge, Mass.)}
\ssskip
Anthony Tomasic (ECRC, Munich): {\itt View Update Translation via
Deduction and Annotation}
\ssskip
Anthony J.\ Bonner (Rutgers University, New Brunswick, N.J.): {\itt A
Logic of Hypothetical Updates: Complexity and Expressibility}
\ssskip
M.E.\ Iofinova, E.A.\ Komissartschik (VNIISI, Moscow): {\itt Update in
Hierarchical Data Bases}
\sskip
\line{\hfill{\bft Official Dinner}\hfill}
\par\vfill\noindent
{\bft Friday, September 2}
\sskip
{\bft Session 9:\/} 09.00--10.25\par\noindent
{\itt Chair: Marc Gyssens (University of Antwerp)}
\ssskip
Invited talk by Catriel Beeri (Hebrew University, Jerusalem): {\itt Data
Models and Languages for Databases}
\ssskip
Gabriel M.\ Kuper (IBM Watson Research Center, Yorktown Heights) and Moshe Y.\
Vardi (IBM Almaden Research Center, San Jose): {\itt On the Complexity
of Queries in the Logical Database Model}
\sskip
\line{\hfill{\bft Coffee Break}\hfill}
\sskip
{\bft Session 10:\/} 10.45--11.35\par\noindent
{\itt Chair: Georgio Ausiello (University of Rome)}
\ssskip
Eric Simon and Christophe de Maindreville (INRIA, Le Chesnay): {\itt
Deciding wheth\-er a Production Rule Is Relational Computable}
\ssskip
Michael Kifer and Ai Li (SUNY, Stony Brook): {\itt On the Semantics of
Rule-Based Expert Systems with Uncertainty}
\sskip
\line{\hfill{\bft Lunch}\hfill}
\sskip
\line{\hfill{\bft Excursion}\hfill}
\par\eject\noindent
{\rmv What you need to know about Belgium$\vphantom{\hbox{\rmv y}}$}
\par\vskip 9pt plus 3pt minus 2pt\noindent\hrule height 0.5pt
\par\vskip 12pt plus 4pt minus 2pt\noindent\rmt
Belgium is a small but complicated country situated at the North Sea around the
crossroads of Western Europe and is surrounded by the Netherlands, West
Germany, Luxemburg and France. After having been part of various
nations in past centuries, such as Spain, Austria, France and the
Netherlands, Belgium became independent in 1830. Constitutionally, it is a
parliamentary monarchy.
Belgium has about 10 million inhabitants living on a surface of only
30$\,$000 $\hbox{\rmt k}\hbox{\rmt m}^{\hbox{\rme 2}}$ (12$\,$000
square miles). The prevailing religion is Roman Catholicism.
\sskip
As all countries of continental Europe, Belgium is metric.
If you use electric equipment, such as razors or hair dryers, be sure
to take with you an adapter for West European outlets, if different from
your country's standards. Voltage is 220 V. Time in Belgium around the
period of the conference is GMT$\,$+$\,\hbox{\rmt 2}^{\hbox{\rme h}}$. The
currency in Belgium is the Belgian franc (BEF). Foreign money can be
exchanged in most banks, in exchange boots at the
airport and major railroad stations (including Bruges), and at the Novotel
itself. At the moment of this writing, 100 BEF equals
2.85 USD, 3.50 CAD, 350 JPY, 4.75 DEM, 16.10 FRF, 1.50 GBP or 3520 ITL.
\sskip
What makes Belgium a complicated country to govern, but also a country with an
open mind towards the rest of the world, is its being situated across a
linguistic border between Germanic and Romanic language speaking
nations. There are three official languages in Belgium: Dutch, French
and German.
\sskip
The northern part of the country, called Flanders, is Dutch
speaking and constitutes about 55\% of the population.
Dutch as it is spoken in Flanders is often called ``Flemish''.
As such, the difference between Flemish Dutch and
Dutch spoken in Holland can be compared very well to the difference
between British and American English.
\sskip
The southern part of Belgium, called Wallony
is French speaking and represents 35\% of the people. The remaining 10\%
live in Brussels, which is officially bilingual (French-Dutch), although
a majority speaks French. Finally, there are about 60$\,$000 German speaking
Belgians living in the easternmost part of Wallony.
\sskip
Since Belgium is such a small country, most of inhabitants know and/or
speak several languages, such as Dutch, French, German and English. As a
general rule, most people know English, though young persons speak it
more fluently than older ones. Some of the latter might not even
understand the language. Most places in Belgium have cable television,
also featuring channels from all surrounding countries (including
Great-Britain) and Italy.
\par\eject\noindent\baselineskip17pt
{\textfont0=\rmv
\rmv Brugge, die scone$\vphantom{\hbox{\rmv y}}\ldots$}
\par\vskip 9pt plus 3pt minus 2pt\noindent\hrule height 0.5pt
\par\vskip 12pt plus 4pt minus 2pt\noindent\rmt
\textfont0=\rmt
$\ldots$which is old Flemish for {\itt Bruges, the beautiful\/}. Bruges is indeed
an admittedly, rather small, but very attractive city, close to the sea. It is the
capital of the province of West Flanders as well as the seat of a bishop and
has about 120$\,$000 inhabitants. The city of Bruges is known all over the world because
it has managed to preserve much of its medieval character. The many old
houses and ancient monuments combined with numerous small canals lend Bruges
the unique atmosphere to which it owes the predicate {\itt Venice of the
North\/}.
\parskip
Bruges was founded some time in between the 4th and 8th century AD. It
grew slowly but steadily and became the major seaport of the region,
relying on the Zwin, an estuary of the North Sea which at that time
came closer to Bruges than nowadays. The city reached its economical
and artistic zenith in the 14th and 15th century when it became the
court of the dukes of Burgundy. Famous Flemish painters from that time
were Jan Van Eyck, Rogier van der Weyden, Hans Memling and Hugo van
der Goes. Unfortunately, the North Sea receded during the 15th
century and the Zwin estuary silted up, announcing already the decline
of Bruges. In addition, political troubles during the 16th century
caused the city to be gradually deserted by foreign merchants and
Bruges remained as a sleepy medieval town, its economic role being
overtaken by Antwerp.
\parskip
Bruges only revived in the second half of the 19th century with the
construction of the port of Zeebruges and a connecting canal, giving
Bruges new access to the North Sea. The port of Zeebruges played
an important role in World Wars I and II when it was occupied by the
Germans. After the World Wars, the development of the port of
Zeebruges was resumed, a process still going on nowadays.
\parskip
Since most industry is located out of town, much of Bruges
still looks more or less the same as in the 15th century. The skyline
of Bruges is dominated by three towers, built in the 12th--15th century:
the majestic belfry tower of the Market Hall, shown on the cover of this
booklet, the Church of Our Lady, whose 117 m (385 ft) spire is one of the
tallest of the low countries (second only to the 123 m bell tower of Our
Lady's Cathedral in Antwerp) and the Cathedral of the H.\ Savior, which
is the oldest parish church of Bruges with a history going back to the
9th century.
\parskip
Bruges is also world famous for its lace, which had a great economic
importance up until in the 17th century and was called ``Lace of
Flanders''. In many picturesque places in Bruges, you can see younger
and older lace workers skillfully practising this handicraft. For the finest
lace, called fairy stitch, up to 700 spindles are needed!
\par\eject\end