vardi@wisdom.BITNET (Moshe Vardi) (07/07/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
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.
Registration fee:
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 [ ]
[...]
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"