VARDI@ALMVMA.BITNET (Moshe Vardi) (01/11/90)
ADVANCE PROGRAM
Ninth ACM SIGACT-SIGMOD-SIGART
Symposium on
Principles of Database Systems (PODS)
Nashville, Tennessee
April 2--4, 1990
SUNDAY, APRIL 1, 1990
Reception: 7:30 pm - 10:00 pm, Suite 4
MONDAY, APRIL 2, 1990
(Note: All talks will take place in Ballroom 1)
SESSION 1: 9:00 am - 10:45 am
Chair: Patrick C. Fischer (Vanderbilt University)
Invited talk: "Research Directions in Object-Oriented Database
Systems," Won Kim (MCC)
"Method Schemas,"
Serge Abiteboul (INRIA), Paris C. Kanellakis (Brown University)
and Emmanuel Waller (INRIA)
"Representability of Design Objects by Ancestor-Controlled
Hierarchical Specifications,"
Lin Yu and Daniel J. Rosenkrantz
(State University of New York at Albany)
Coffee Break: 10:45 am - 11:20 am
SESSION 2: 11:20 am - 12:30 pm
Chair: Shamim Naqvi (Bell Communication Research)
"Query Size Estimation by Adaptive Sampling,"
Richard J. Lipton (Princeton University) and
Jeffrey F. Naughton (University of Wisconsin)
"Deriving Constraints Among Argument Sizes in Logic Programs,"
Allen Van Gelder (University of California at Santa Cruz)
"On the Expressive Power of Datalog: Tools and a Case Study,"
Phokion G. Kolaitis (University of California at Santa Cruz) and
Moshe Y. Vardi (IBM Almaden Research Center)
Lunch: 12:30 pm - 2:00 pm, Davidson Room
SESSION 3: 2:00 pm - 3:30 pm
Chair: C. Mohan (IBM Almaden Research Center)
"Load Control for Locking: The `Half-and-Half' Approach,"
Michael J. Carey, Sanjay Krishnamurthi
and Miron Livny (University of Wisconsin)
"Locks with Constrained Sharing,"
Divyakant Agrawal and Amr El Abbadi
(University of California at Santa Barbara)
"A Serialization Graph Construction for Nested Transactions,"
Alan Fekete (University of Sydney),
Nancy Lynch (MIT) and William Weihl (MIT)
"Multi-Level Recovery,"
Gerhard Weikum (ETH Zurich), Christof Hasse (ETH Zurich),
Peter Broessler (University of Bremen) and Peter Muth
(GMD Institute of Integrated Publishing and Information Systems)
Coffee Break: 3:30 pm - 4:00 pm
SESSION 4: 4:00 pm - 5:30 pm
Chair: Doron Rotem (Lawrence Berkeley Laboratory)
"On the Optimality of Strategies for Multiple Joins,"
Y. C. Tay (National University of Singapore)
"Polynomial Time Program Transformations in Deductive Databases,"
Yatin P. Saraiya (Stanford University)
"Semigroup Techniques in Recursive Query Optimization,"
Thane Plambeck (Stanford University)
"Independence of Logic Database Queries and Updates,"
Charles Elkan (University of Toronto)
Business Meeting: 8:15 pm - 10:00 pm (room t.b.a.)
TUESDAY, APRIL 3, 1990
TUTORIAL: 8:15 am - 9:15 am
"Negation in Deductive Databases,"
Allen Van Gelder (University of California at Santa Cruz)
SESSION 5: 9:30 am - 10:40 am
Chair: Allen Van Gelder (University of California at Santa Cruz)
"Modular Stratification and Magic Sets for DATALOG Programs with
Negation," Kenneth A. Ross (Stanford University)
"Three-Valued Formalization of Logic Programming: Is It Needed?"
Jia-Huai You and Li Yan Yuan (University of Alberta)
"Backward Chaining Evaluation in Stratified Disjunctive
Theories," Veronique Royer (ONERA-CERT)
Coffee Break: 10:40 am - 11:20 am
SESSION 6: 11:20 am - 12:30 pm
Chair: Michael Kifer (State Univ. of New York at Stony Brook)
"The Expressive Power of the Logic Programming Semantics,"
John S. Schlipf (University of Cincinnati)
"Stable Models and Non-Determinism in Logic Programs with
Negation," Domenico Sacca (Universita della Calabria) and
Carlo Zaniolo (MCC)
"Non-Deterministic Languages to Express Deterministic
Transformations,"
Serge Abiteboul (INRIA), Eric Simon (INRIA) and
Victor Vianu (University of California at San Diego)
Lunch: 12:30 pm - 2:00 pm, Davidson Room
SESSION 7: 2:00 pm - 3:20 pm
Chair: Paris C. Kanellakis (Brown University)
Invited talk: "Graph-Theoretic Methods in Database Theory,"
Mihalis Yannakakis (AT&T Bell Laboratories)
"Quasilinear Algorithms for Processing Relational Calculus
Expressions,"
Dan E. Willard (State University of New York at Albany)
Coffee break: 3:20 pm - 3:50 pm
SESSION 8: 3:50 pm - 5:00 pm
Chair: Yannis E. Ioannidis (University of Wisconsin)
"On the Optimality of Disk Allocation for Cartesian Product
Files," Khaled A. S. Abdel-Ghaffar
(University of California at Davis) and
Amr El Abbadi (University of California at Santa Barbara)
"Efficient Processing of Window Queries in the Pyramid Data
Structure,"
Walid G. Aref and Hanan Samet (University of Maryland)
"A Framework for the Performance Analysis of Concurrent B-Tree
Algorithms,"
Theodore Johnson and Dennis Shasha (New York University)
Dinner/Show Cruise: Buses start loading at 6:00 pm
WEDNESDAY, APRIL 4, 1990
SESSION 9: 9:00 am - 10:45 am
Chair: Yehoshua Sagiv
(Hebrew University and Stanford University)
Invited talk: "Introducing Constraints in Programming Systems,"
Jean-Louis Lassez (IBM T. J. Watson Research Center)
"Constraint Query Languages,"
Paris C. Kanellakis (Brown University),
Gabriel M. Kuper (IBM T. J. Watson Research Center) and
Peter Z. Revesz (Brown University)
"Magic Conditions,"
Inderpal Singh Mumick (Stanford University),
Sheldon J. Finkelstein (Tandem),
Hamid Pirahesh (IBM Almaden Research Center) and
Raghu Ramakrishnan (University of Wisconsin)
Coffee Break: 10:45 am - 11:15 am
SESSION 10: 11:15 am - 12:45 pm
Chair: Vassos Hadzilacos (University of Toronto)
"On Being Optimistic about Real-Time Constraints,"
Jayant R. Haritsa, Michael J. Carey and Miron Livny
(University of Wisconsin)
"Token Transactions: Managing Fine-Grained Migration of Data,"
Va-On Tam and Meichun Hsu (Harvard University)
"Data-value Partitioning and Virtual Messages,"
Nandit Soparkar and Abraham Silberschatz
(University of Texas at Austin)
"A Novel Checkpointing Scheme for Distributed Database Systems,"
Slawomir Pilarski and Tiko Kameda (Simon Fraser University)
Lunch Break: 12:45 pm - 2:15 pm (no host)
SESSION 11: 2:15 pm - 3:45 pm
Chair: Richard Hull (University of Southern California)
"Polynomial Time Query Processing in Temporal Deductive
Databases," Jan Chomicki (University of North Carolina)
"Handling Infinite Temporal Data,"
F. Kabanza, J-M. Stevenne and P. Wolper (Universite de Liege)
"GraphLog: A Visual Formalism for Real Life Recursion,"
Mariano P. Consens and Alberto O. Mendelzon
(University of Toronto)
"A Graph-Oriented Object Database Model,"
Marc Gyssens (University of Antwerp),
Jan Paredaens (University of Antwerp) and
Dirk Van Gucht (Indiana University)
End of Symposium
ADVANCE REGISTRATION FORM, ACM-PODS
Please send this form or a facsimile along with a
money order or check (payable to ACM-PODS 90) to:
ACM-PODS 90 Registration
Dept. of Computer Science, Box 1679, Station B
Vanderbilt University, Nashville, TN 37235
(Received before March 1) (After)
ACM and SIG member $250* $270
ACM member only $260* $280
SIG member only $270* $290
Nonmember $295* $320
Full-time Student $ 55 $ 65
Extra cruise ticket? _____ $ 55* N.A.
( * The dinner/show cruise is included only for these categories.)
Name ______________________________________________________
Affiliation __________________________________________________
City __________________________ State ________ Zip ___________
Country ____________________ Telephone ______________________
E-mail Address ______________________________________________
_____ Check here if confirmation of preregistration is desired.
Dietary restrictions: _____ Kosher _____ Vegetarian
Special meals can be guaranteed only for those who register in advance.
Requests for any refunds will be subject to a service charge of $10 before
March 1, 1990, and $30 between March 1 and March 26.
___________________________________________________________
HOTEL RESERVATION FORM, ACM-PODS April 1990
Please mail this form or a facsimile by March 1 to:
Hyatt Regency Nashville
623 Union Street
Nashville, TN 37219
Tel: 615-259-1234 or 800-233-1234
Accommmodations desired (triples and quads are available at $10
per extra person):
_____ Single $74 _____ Double $89
Arrival Date ___________________________ Time ________________
Departure Date _________________________ Time ________________
Name ______________________________________________________
Sharing room with ____________________________________________
Address ____________________________________________________
City _________________________ State _________ Zip ___________
Country ___________________________________
All rooms will be held until 6:00 pm the day of arrival without
a deposit or guarantee. For arrivals later than 6:00 pm, please
guarantee to a major credit card:
_____ Am Ex _____ VISA _____ MC _____ Discover
Card No. ________________________________ Exp. Date __________
Signature ___________________________________________________
CONFERENCE ORGANIZATION
Sponsors: SIGACT, SIGMOD and SIGART
Conference Chair: Daniel J. Rosenkrantz, Dept. of Computer Science,
SUNY-Albany, 1400 Washington Ave., Albany, New York 12222;
djr@cs.albany.edu; tel. 518-442-4274.
Program Chair: Yehoshua Sagiv, Dept. of Computer Science,
Stanford University, Stanford, California 94305;
sagiv@nimbin.stanford.edu; tel. 415-723-3705.
Local Arrangements: Patrick C. Fischer, Dept. of Computer Science,
Box 1679, Station B, Vanderbilt University, Nashville, Tennessee 37235;
pcf@vuse.vanderbilt.edu; tel. 615-322-2863.
Publicity Chair: Raghu Ramakrishnan, University of Wisconsin at Madison.
Program Committee: Vassos Hadzilacos, C. Mohan, Richard Hull,
Shamim Naqvi, Yannis E. Ioannidis, Doron Rotem, Paris C. Kanellakis,
Yehoshua Sagiv, Michael Kifer and Allen Van Gelder.
INFORMATION
HOTEL RESERVATIONS
The Ninth Annual ACM Symposium on Principles of Database Systems
will be held at the Hyatt Regency Nashville, a four-diamond hotel
with atrium design, at 7th Avenue and Union Street downtown.
Recreational privileges with the downtown YMCA are available to
hotel guests.
The hotel address is 623 Union Street Nashville, TN 37219 and
the telephone is 615-259-1234. All technical sessions, two
luncheons and the Business Meeting will be held at the hotel.
A block of rooms has been reserved until March 1, 1990.
Please reserve your room using the form provided or by calling
800-233-1234 or by faxing to 615-259-3017. Be sure to mention
the ACM-PODS Symposium (sometimes erroneously known as the Vanderbilt
CS conference). The special conference room rates of $74 single,
$89 double (plus 11.5% tax) are not guaranteed after March 1.
TRANSPORTATION
The average taxi fare from Nashville International Airport to
downtown is $15. Downtown Airport Express runs a limo service
every 30 minutes from 0600-2300 daily; the one-way fare is $8.
If you are traveling on Sunday, April 1, remember that
Daylight Saving Time begins that day.
CLIMATE
In the beginning of April, Nashville is well into spring. With luck,
the redbuds will be at their peak. The temperature ranges should be:
high 60-70F; low 40-48F. Rain is always a possibility at this time
of year.
THINGS TO DO
The State Capitol, Tennessee State Museum, Ryman Auditorium,
Riverfront Park and Fort Nashboro are within walking distance of
the Hyatt Regency. Vanderbilt University and Centennial Park
(with its famous replica of the Parthenon) are accessible by
public bus or a short taxi ride, as is the Country Music Hall
of Fame.
REGISTRATION
Advanced registration is requested using the form provided. It
is necessary to preregister to have the General Jackson
dinner-and-show Cumberland river cruise included with your
registration. The preregistration period ends on March 1, 1990
because of the deadline set by Opryland, Inc. Additional tickets
for the cruise may be ordered with your preregistration form and
will cost $55. This price includes transportation to and from
the boat dock at Opryland. Availability of cruise tickets at
the meeting is not guaranteed.
Registrants, other than students, receive admission to the technical
sessions, one copy of the proceedings, and two luncheons. If they
preregister by the March 1 deadline, they also receive the dinner/show
cruise on the General Jackson, an old-style (but newly built) stern
wheeler riverboat. Student registration, available to full-time
students only, includes the technical sessions, coffee breaks and
one copy of the proceedings. Students are welcome to attend the
Sunday night reception. The Registration Booth will be open from
6:30 pm - 9:00 pm on Sunday, April 1 in the Foyer of Suite 4.