taylor@hplabsc.UUCP (Dave Taylor) (06/26/86)
--------
International Conference on Database Theory
PROGRAM
MONDAY, SEPTEMBER 8
Registration and coffee: 8:00am-10:30am
Session 1. 10:30am-1:00pm. Chairperson: Giorgio Ausiello
Database Queries and Programming Constructs (Invited Lecture), Ashok
K. Chandra (IBM T.J. Watson Research Center, USA)
Presentation of the Witold Lipski Award to V.S. Lakshmanan.
Split-Freedom and MVD-Intersection: A New Characterization of
Multivalued Dependencies Having Conflict-Free Covers, V. S. Lakshmanan
(Indian Institute of Science, India)
A Polynomial-time Join Dependency Implication Algorithm for Unary
Multi-valued Dependencies, George Loizou (Birkbeck College, Univ. of
London, UK), P. Thanisch (Lattice Logic, UK)
Horizontal Decompositions Based on Functional-Dependency-Set-
Implications, Paul De Bra (University of Antwerp UIA, Belgium)
Luncheon: 1:00pm-2:30pm
Session 2. 2:30pm-4:00pm. Chairperson: TBA
Introduction to the Theory of Nested Transactions, Nancy A. Lynch
(MIT, USA), Michael Merritt (ATT Bell Laboratories, USA)
The Cost of Locking, Peter K. Rathmann (Stanford University, USA)
Update Serializability in Locking R. C. Hansdah, L. M. Patnaik
(Indian Institute of Science, India)
Coffee Break: 4:00pm-4:30pm.
Session 3. 4:30pm-6:00pm. Chairperson: John Mylopoulos.
Restructuring of Semantic Database Objects and Office Forms, Serge
Abiteboul (INRIA, France), Richard B. Hull (University of Southern
California, USA)
Entity-Relationship Consistency for Relational Schemas, Johann A.
Makowsky, Victor M. Markowitz, N. Rotics (Technion, Israel)
Unsolvable Problems Related to the View Integration Approach,
Bernhard Convent (Universitaat Dortmund, Fed. Rep. of Germany)
TUESDAY, SEPTEMBER 9
Session 4. 9:00am-10:45am. Chairperson: Domenico Sacca`
Logic Programming and Parallel Complexity (Invited Lecture), Paris
Kanellakis (Brown University, USA)
Updating Logical Databases Containing Null Values, Marianne Winslett
Wilkins (Stanford University, USA)
Update Semantics under the Domain Closure Assumption, Laurence Cholvy
(ONERA-CERT-DERI, France)
Coffee Break: 10:45am-11:15am
Session 5. 11:15am-12:45pm. Chairperson: Jan Paredaens
On the Desirability of Gamma-Acyclic BCNF Database Schemes, Edward
P.F. Chan, Hector J. Hernandez (University of Alberta, Canada)
Set Containment Inference, Paolo Atzeni (IASI-CNR, Italy), D. Stott
Parker (UCLA, USA)
Interaction-Free Multivalued Dependency Sets, Dirk Van Gucht (Indiana
University, USA)
Luncheon: 12:45pm-2:30pm
Session 6. 2:30pm-4:00pm. Chairperson: TBA
Efficient Multidimensional Dynamic Hashing for Uniform and Non-Uniform
Record Distributions, Hans-Peter Kriegel, Bernhard Seeger
(Universitaat Wuerzburg, Fed. Rep. of Germany)
List Organizing Strategies Using Stochastic Move-to-Front and
Stochastic Move-to-Rear Operations, B. John Oommen (Carleton
University, Canada), E. R. Hansen (Lockheed Missiles and Space Co.,
USA)
Coffee Break: 3:30pm-4:00pm.
Session 7. 4:00pm-5:30pm. Chairperson: TBA
A Domain Theoretic Approach to Higher-Order Relations, Peter Buneman
(University of Pennsylvania, USA)
Theoretical Foundation of Algebraic Optimization Utilizing
Unnormalized Relations, Marc H. Scholl (Technische Hochschule
Darmstadt, Fed. Rep. of Germany)
Modelling Large Bases of Categorized Data with Acyclic Schemes, F. M.
Malvestuto (ENEA, Italy)
Banquet: 8:00pm-11:00pm
WEDNESDAY, SEPTEMBER 10
Session 8. 9:00am-10:45am. Chairperson: TBA
The Generalized Counting Method for Recursive Logic Queries (Invited
Lecture), Carlo Zaniolo (MCC, USA)
Some Extensions to the Closed World Assumption in Databases, Shamim
A. Naqvi (MCC, USA)
Query Processing in Incomplete Logical Databases, Nadine Lerat
(Universite` de Paris-Sud, France)
Filtering Data Flow in Deductive Databases, Michael Kifer (SUNY at
Stony Brook, USA), Eliezer L. Lozinskii (Hebrew University, Israel)
Coffee Break: 11:15am-11:45am
Session 9. 11:45am-12:45pm. Chairperson: TBA.
A New Characterization of Distributed Deadlock in Databases, Ouri
Wolfson (Technion, Israel)
Towards Online Schedulers Based on Pre-Analysis Locking, Georg Lausen
(Technische Hochschule Darmstadt, Fed. Rep. of Germany), Eljas
Soisalon-Soininen (University of Helsinki, Finland), Peter Widmayer
(Universitaat Karlsruhe, Fed. Rep. of Germany)
PROGRAM COMMITTEE
S.Abiteboul (France); G.Ausiello (Italy), chairman; F.Bancilhon
(France, USA); A.D'Atri (Italy); M.Moscarini (Italy); J.Mylopoulos
(Canada); J-M.Nicolas (France, West Germany); J.Nievergelt
(Switzerland); C.H.Papadimitriou (Greece, USA); J.Paredaens (Belgium);
D.Sacca` (Italy); N.Spyratos (France); J.D.Ullman (USA); M.Y.Vardi
(USA).
REGISTRATION
The registration fee can be paid in various ways:
- by bank draft, transferring the amount in Italian Lire (and not in
other currencies) to the account No. 12264, "Paolo Atzeni - Giorgio
Ausiello - ICDT'86", Banca Nazionale del Lavoro, Sportello 6392,
CNR, Piazzale A. Moro 7, 00185 Roma, before August 15.
- by international cheque (in Italian or U.S. currency), payable to
"Paolo Atzeni - ICDT'86".
- cash, in Italian Lire, at the registration desk (a bank is
available at the Conference site, open Monday-Friday 8:30am-2:00pm)
Complete the form below (or a facsimile) and return it, with a cheque
for the fee or a copy of the bank draft, as soon as possible, to
ICDT'86 Registration - c/o Paolo Atzeni
IASI-CNR
Viale Manzoni 30
00185 Roma Italy
Do not forget to write your name on the bank draft or cheque.
Registration, except for students, includes technical sessions, one
copy of the preprints of the proceedings, luncheons (Monday and
Tuesday), banquet (Tuesday), and refreshments during the coffee breaks.
Student registration is available to full-time students only, and must
be documented by a faculty member certification or photocopy of student
card, and includes the technical sessions, preprints and refreshments.
-----------------------------------------------------------------------
ICDT'86 REGISTRATION FORM
Registration fee (check one):
Before Aug.15 After Aug.15
Member of IEEE or EATCS: Lit. 180000 [ ] 250000 [ ]
US $ 120 [ ] 165 [ ]
Nonmember: Lit. 200000 [ ] 270000 [ ]
US $ 135 [ ] 180 [ ]
Student: Lit. 75000 [ ] 100000 [ ]
US $ 50 [ ] 65 [ ]
Name: ____________________________________________
Affiliation: _____________________________________
Address: _________________________________________
_________________________________________
City, State, ZIP: ________________________________
Country: _________________________________________
Telephone: _______________________________________
Network address: _________________________________
Form of payment (please check):
Transfer in Italian Lire by bank draft (enclose copy) [ ]
International check in Lire or US $ (enclose) [ ]
ACCOMODATION
Accomodation is handled by American Express Co., which has booked
(until July 31) a number of rooms in the following hotels:
- Massimo d'Azeglio (Via Cavour 18, 00184 Roma, Tel. +6 460646, TELEX
610556): single Lit. 135000 double Lit. 192000
- Atlantico (Via Cavour 23, 00184 Roma, Tel. +6 485951, TELEX
610556): single Lit. 116000 double Lit. 166000
- Nord - Nuova Roma (Via G. Amendola 3, 00184 Roma, Tel. +6 465441,
TELEX 610556): single Lit. 86000 double Lit. 130000
While every effort will be made to reserve accomodation in the hotel of
your choice, should that hotel become full, American Express reserves
the right to allocate alternative accomodation.
----------------------------------------------------------------
HOTEL RESERVATION FORM
Please send this form (or a facsimile) with your payment to:
AMERICAN EXPRESS CO. S.p.A.
TOUR OPERATIONS
Piazza di Spagna, 38
00187 Roma Italy
Please reserve:
____ single room(s)
____ double room(s)
Hotel (see instructions): ________________________
Date of arrival: ______________________________
Date of departure: ____________________________
Name: ____________________________________________
Address: _________________________________________
_________________________________________
City, State, ZIP: ________________________________
Country: _________________________________________
Telephone: _______________________________________
A deposit of Lit.100000 per person is required.
Form of payment (check one):
International draft (enclosed) [ ]
Personal check in US $ (enclosed) [ ]
American Express card (fill in below) [ ]
Card no. _________________________________
Expiration date __________________________
Signature ________________________________
Date ___________
Reservations must be received by July 31st. Afterwards, confirmation
will be subject to availability.
GENERAL INFORMATION
LOCATION: Conference activities will take place in the headquarters of the
Italian Research Council, in front of the main campus of the University
of Rome "La Sapienza":
CNR: Consiglio Nazionale delle Ricerche
Piazzale Aldo Moro 7
MAIL AND MESSAGES: The official mailing address of ICDT'86 is:
ICDT'86 c/o Paolo Atzeni
IASI-CNR
Viale Manzoni 30
00185 Roma Italy
Telephone (before the conference) +39 (6) 770031
(during the conference) +39 (6) 4993379
Telex: 610076 CNRRM I (Attention: Dr. Atzeni IASI)
During the conference, participants can receive mail at the above
address, but are suggested to have telephone messages directed to the
respective hotels.
TRANSPORTATION: Aeroporto Leonardo Da Vinci, Fiumicino, is Rome
International Airport. ACOTRAL buses leave the airport every 20 or 30
minutes for the downtown air terminal, located in Via Giolitti, at the
main railway station (Stazione Termini). The hotels are within walking
distance from the terminal (300mt). ACOTRAL costs Lit.6000 (about US $
4.00), and tickets must be bought within the airport, before boarding
the bus. Taxi fare from the airport to downtown is about Lit.45000
(about US $ 30) (authorized taxi cabs are yellow and have a license
number; use only yellow taxis and ask for a receipt).
Detailed information on how to get to the conference site (1500 mt.
from the hotels) will be available at the hotels.
BANQUET: The conference banquet will be held at Hotel Columbus, (Via della
Conciliazione 33, near the Vatican). Vegetarian meals will be available
only to preregistrants requesting them. Additional tickets for the
banquet will be available at the registration desk for Lit.50000.
TRAVEL INFORMATION: American Express offers various half-day tours of Rome
every day, in the morning and in the afternoon, for about Lit.
30000-35000 (US $ 20 - 23), and one or two days tours to other
interesting locations. Information requests to American Express can be
sent together with hotel reservations.
CLIMATE: Weather in Rome in September is quite warm, with temperatures
between 25 and 30 degrees C (77 - 86 degrees F).
THINGS TO SEE AND TO DO: Anything you like; the decision problem may be
unsolvable.
The organizers of ICDT'86 would like to thank the following financial
supporters.
- Banca Nazionale del Lavoro
- Consiglio Nazionale delle Ricerche
- Enidata S.p.A.
- Selenia S.p.A.
- Universita` di Roma "La Sapienza"