timos@mimsy.UUCP (Timos Sellis) (04/20/88)
ADVANCE PROGRAM
ACM SIGMOD-88 International Conference on the Management of Data
June 1-3, 1988
Palmer House and Towers, Chicago, U.S.A.
ACM SIGMOD-88
Wednesday, June 1, 1988
------- ------------------------------------------------------------------
8:30 - Conference Registration
9:00 (West Lounge)
------- ------------------------------------------------------------------
9:00 - Opening Session
10:30 (Grand Ballroom)
Keynote Address: Data with a Point of View
Adele Goldberg, ParcPlace Systems
------- ------------------------------------------------------------------
10:30 - Refreshment Break
11:00 (Upper Exhibition Hall)
------- ------------------------------------------------------------------
Parallel Sessions
Room: Grand Ballroom
11:00 - Session: Query Optimization
12:30 (Chair: J. Christoph Freytag)
Optimizing Large Join Queries.
A. Swami and A. Gupta, Stanford University.
Grammar-like Functional Rules for Representing Query Optimization
Alternatives.
G. M. Lohman, IBM Almaden.
Equi-depth Multidimensional Histograms.
M. Muralikrishna and D. J. DeWitt, University of Wisconsin,
Madison.
---------------------------------------------------------------
Room: Red Lacquer
---------------------------------------------------------------
Session: Object Oriented & Semantic Systems
(Chair: Roger King)
Transaction Management in an Object-Oriented Database System.
(invited paper)
J. Garza and W. Kim, MCC.
SIM: A Database System Based on the Semantic Data Model.
D. Jagannathan, B. L. Fritchman, R. L. Guck, J. P. Thompson, and D.
M. Tolbert, Unisys.
Contexts and MetaMessages in Object-Oriented Database Programming
Language Design.
M. Caruso, Innovative Systems Techniques, and E. Sciore, Boston
University.
------- ------------------------------------------------------------------
12:30 - Lunch
2:00 (Monroe Room)
------- ------------------------------------------------------------------
Room : Grand Ballroom
------------------------------------------------------------------
2:00 - Session: Incomplete Information
3:30 (Chair: Gultekin Ozsoyoglu)
Partition Semantics for Incomplete Information in Relational
Databases.
D. Laurent and N. Spyratos, Universite d'Orleans.
A Sound and Complete Query Evaluation Algorithm for Relational
Databases with Null Values.
L. Y. Yuan and D.-A. Chiang, University of Southwestern Louisiana.
The Derivation Problem of Summary Data.
F. M. Malvestuto, ENEA.
-------------------------------------------------------------------
Room: Red Lacquer
-------------------------------------------------------------------
Session: Parallelism Issues
(Chair: Dieter Gawlick)
Process and Dataflow Control in Distributed Data-Intensive Systems.
W. Alexander and G. Copeland, MCC.
Data Placement in Bubba.
G. Copeland, W. Alexander, E. Boughter and T. Keller, MCC.
A Case for Redundant Arrays of Inexpensive Disks (RAID).
D. A. Patterson, G. Gibson and R. H. Katz, U.C. Berkeley.
-----------------------------------------------------------------
Room : PDR 18
------------------------------------------------------------------
Tutorial I: Databases and Logic
Carlo Zaniolo, MCC, Austin, Texas.
------- ------------------------------------------------------------------
3:30 - Refreshment Break
4:00 (Upper Exhibition Hall)
------- ------------------------------------------------------------------
4:00 - Panel: Nested Relations - A Step Forward or Backward
5:30 (Chair: Patrick C. Fischer)
R. Hull, University of Southern California
M. Ozsoyoglu, Case-Western Reserve University
H.-J. Schek, University of Darmstadt
D. Van Gucht, Indiana University at Bloomington
----------------------------------------------------------------
Session: Distributed Concurrency Control
(Chair: Hank F. Korth)
Semantics Based Transaction Management Techniques for Replicated
Data.
A. Kumar and M. Stonebraker, University of California, Berkeley.
The Group Paradigm for Concurrency Control.
A. El Abbadi and S. Toueg, University of California, Santa Barbara.
Multidatabase Update Issues.
Y. Breitbart, University of Kentucky and A. Silberschatz,
University of Texas, Austin.
-------------------------------------------------------------------
Tutorial I - Continued
Thursday, June 2, 1988
Parallel Sessions
Room: Grand Ballroom
------- -----------------------------------------------------------------
8:30 - Session: Logic & Databases
10:00 (Chair: David Stemple)
Data Functions, Datalog and Negation.
S. Abiteboul, INRIA and R. Hull, University of Southern California,
Los Angeles.
A Framework for Testing Safety and Effective Computability of
Extended Datalog.
R. Krishnamurty, O. Shmueli, MCC and R. Ramakrishnan, University of
Wisconsin, Madison.
A Implementation Model for Reasoning with Complex Objects.
Q. Chen, SM Research Institute, China and G. Gardarin, INRIA.
-------------------------------------------------------------------
Room: Red Lacquer
------------------------------------------------------------------
Session: Storage Structures
(Chair: Jack Orenstein)
Optimal File Distribution for Partial Match Retrieval.
M. H. Kim and S. Pramanik, Michigan State University.
Twin Grid Files: Space Optimizing Access Schemes.
A. Hutflesz, H.-W. Six and P. Widmayer, Universitat Karlsruhe and
Fern Universitat Hagen.
Hashing in Practice: Analysis of Hashing and Universal Hashing.
M. V. Ramakrishna, Michigan State University.
----------------------------------------------------------------
Room: PDR 18
---------------------------------------------------------------
Short Presentations: Non-Traditional Applications
(Chair: Randy Katz)
------- ------------------------------------------------------------------
10:00 - Refreshment Break
10:30 (Upper Exhibition Hall)
------- ------------------------------------------------------------------
Room : Grand Ballroom
-------------------------------------------------------------------
10:30 - Session: Database Design and Nested Algebra
12:00 (Chair: Victor Vianu)
A Characterization of Constant-Time Maintainability for BCNF
Database Schemes.
H. J. Hernandez and E. P. F. Chan, Texas A&M University and
University of Waterloo.
A Polynomial Time Algorithm for Testing Implications of a Join
Dependency and Embodied Functional Dependencies.
J. Leuchner, L. Miller and G. Slutzki, Iowa State University.
The Powerset Algebra as a Result of Adding Programming Constructs
to the Nested Relational Algebra.
M. Gyssens and D. Van Gucht, University of Antwerp and Indiana
University.
---------------------------------------------------------------
Room : Red Lacquer
---------------------------------------------------------------
Panel: Multi-Database Systems
(Chair: Marek Rusinkiewicz)
W. Litwin, INRIA
R. Nikhil, MIT
M. Templeton, Unisys
A. Wolski, University of Helsinki
---------------------------------------------------------------
Room: PDR 18
-----------------------------------------------------------------
Short Presentations: Industrial Systems
(Chair: Tom Atwood)
------- ------------------------------------------------------------------
12:00 - Lunch
1:30 (Monroe Room)
------- -----------------------------------------------------------------
1:30 - Session: Data Models
3:00 (Chair: Amihai Motro)
Resolving the Tension between Integrity and Security Using a
Theorem Prover.
S. Mazumdar, D. Stemple and T. Sheard, University of Massachusetts.
A Transaction Logic for Database Specification.
X. Qian and R. Waldinger, Stanford University.
A General Model for a Relational Temporal Database with Local
Navigation.
S. K. Gadia and C.-S. Yeung, Iowa State University.
--------------------------------------------------------------
Session: High-Performance Applications
(Chair: Frank Olken)
High Contention in a Stock Trading Database: A Case Study.
P. Peinl and A. Reuter, University of Stuttgart, and H. Sammer,
Tandem.
A DBMS for Large Design Automation Databases.
M. Haynie, Amdahl.
A Specialized Data Management System for Parallel Execution of
Particle Physics Codes.
J. Bell, Colorado School of Mines.
-----------------------------------------------------------------
Tutorial II: Engineering Data Management
Randy H. Katz, University of California, Berkeley.
------- ------------------------------------------------------------------
3:00 - Refreshment Break
3:30 (Upper Exhibition Hall)
------- ------------------------------------------------------------------
3:30 - Session: Performance and Information Management
5:00 (Chair: David Lomet)
Performance Analysis and Fundamental Performance Tradeoffs for CLV
Optical Disks.
S. Christodoulakis and D. A. Ford, University of Waterloo.
Processing Queries Against Database Procedures: A Performance
Analysis.
E. N. Hanson, University of California, Berkeley.
Managing Knowledge About Information System Evolution.
M. Jarke and T. Rose, University of Passau.
-------------------------------------------------------------
Panel: Issues in Building Large Systems
(Chair: Pat Selinger)
D. Gawlick, Amdahl
J. Gray, Tandem Computer Corp. J. Krause, Galileo Distributed
Systems
----------------------------------------------------------------
Tutorial II - Continued
------- ------------------------------------------------------------------
6:30 - Banquet with Chicago Jazz
10:00 (Empire Room)
Friday, June 3, 1988
Parallel Sessions
Room: Grand Ballroom
------- -----------------------------------------------------------------
8:30 - Session: Query Processing in Deductive Databases
10:00 (Chair: Dirk Van Gucht)
Compiling Separable Recursions.
J. Naughton, Princeton University.
Classification of Recursive Formulas in Deductive Databases.
C. Youn, L. J. Henschen, Northwestern University, and J. Han, Simon
Fraser University.
Distributed Processing of Logic Programs.
O. Wolfson, Technion and A. Silberschatz, University of Texas,
Austin.
------------------------------------------------------------------
Room: State Ballroom
-------------------------------------------------------------------
Session: High-Performance Systems
(Chair: David Schrader)
A Benchmark of Non-Stop SQL on the Debit Credit Transaction.
(invited paper)
The Tandem Performance Group -- Tandem.
High Performance SQL Through Low-Level System Integration.
A. Borr, Tandem.
A Performance Analysis of the Gamma Database Machine.
D. J. DeWitt, S. Ghandeharizadeh, and D. Schneider, University of
Wisconsin, Madison.
-------------------------------------------------------------------
Room: PDR 18
-------------------------------------------------------------------
Tutorial III: Optical Disk Architectures and Multimedia
Information Systems.
Stavros Christodoulakis, University of Waterloo.
------- ------------------------------------------------------------------
10:00 - Refreshment Break
10:30 (Upper Exhibition Hall)
------- ------------------------------------------------------------------
10:30 - Session: Transaction Management
12:00 (Chair: Hector Garcia-Molina)
Semantic Lock Models and Deadlock Resolution in Object-Oriented
Distributed Systems.
M. Roesler and W. A. Burkhard, University of California, San Diego.
Commitment in a Partitioned Distributed Database.
K. V. S. Ramarao, University of Pittsburgh.
Formal Model of Correctness Without Serializability.
H. K. Korth and G. Speegle, University of Texas, Austin.
------------------------------------------------------------------
Session: Rule Processing
(Chair: Andreas Reuter)
A Data/Knowledge Base Management Testbed and Experimental Results
on Data/Knowledge Base Query and Update Processing.
R. Ramnarayan, Honeywell and H. Lu, National University of
Singapore.
A Self-Controlling Interpreter for the Relational Production Language.
L. M. L. Delcambre and J. N. Ethredge, University of Southwestern
Louisiana.
Implementing Large Production Systems in a DBMS Environment:
Concepts and Algorithms.
T. Sellis, C.-C. Lin and L. Raschid, University of Maryland.
----------------------------------------------------------------
Tutorial III: Continued
------- ------------------------------------------------------------------
12:00 - Lunch
1:30 (on your own)
------- ------------------------------------------------------------------
1:30 - Panel: Logic Programming, Deductive Databases, Expert Database
3:00 Systems
(Chair: Moshe Vardi)
F. Bancilhon, Altair
S. Finkelstein, IBM
Y. Sagiv, Hebrew University
S. Tsur, MCC
-------------------------------------------------------------------
Session: Object-Oriented Data Models
(Chair: H.-J. Schek)
A Data Model and Query Language for EXODUS.
M. J. Carey, D. J. DeWitt and S. L. Vandenberg, University of
Wisconsin, Madison.
O2, an Object-Oriented Data Model.
C. Lecluse, P. Richard and F. Velez, Altair.
Modeling Class Hierarchies with Contradictions.
A. Borgida, Rutgers University.
TUTORIALS
Databases and Logic - Carlo Zaniolo
There is a growing demand for supporting knowledge-based applications by
means of Knowledge Management Systems; these will have to combine the
inference mechanisms of Logic with the efficient and secure management of
data provided by Database Management Systems (DBMS). The major topics are:
Logic and relational query languages; Semantics of Horn Clauses; Prolog and
DBMSs; Coupling Prolog with a DBMS; Making Prolog a database language;
Integrating Logic and Database Systems: Sets, Negation and Updates;
Choosing an Execution Model; Compilation: magic sets to support recursive
predicated; Optimization and Safety; Overview of selected R&D projects.
Dr. Carlo Zaniolo heads a group at MCC performing research on deductive
databases and logic programming. He has held positions at Sperry Research
and Bell Laboratories. He is the author of over 40 technical papers, a
member of numerous Program Committees, and he edited the December 1987 Data
Engineering special issue on Databases and Logic.
Optical Disk Architectures and Multimedia
Information Systems - Stavros Christodoulakis
This tutorial will survey currently available optical disk technology of
various forms (WORM's CD-ROM's, rewritable disks, etc.), and it will
describe some performance aspects and file organizations for them. It will
then describe some important multimedia database applications that may
utilize optical disk storage and will discuss some implementation issues
for such systems.
Some salient aspects of a high performance optical disk based multimedia
document server that has been implemented in the context of the MINOS
project will also be discussed.
Stavros Christodoulakis is Associate Professor in the Department of
Computer Science at the University of Waterloo, and Director of the Office
Automation Lab in the same Department. His current research interests are
in data base system design, implementation, and performance optimization,
optical disk architectures, distributed systems, and multimedia information
systems.
Engineering Data Management - Randy H. Katz
In this tutorial we quickly review the requirements for engineering data
management in an effort to point out what makes engineering databases
different from commercial databases.
We concentrate on the approach we have adopted for organizing design
data: a data model that makes explicit versions, configurations, and
equivalences across representation types. This model has been implemented
in a prototype system called the Version Server, and its operational
characteristics and browser interface will also be described. We will
discuss how object-oriented concepts are influencing engineering data
management.
The last portion will review developments in the commercial marketplace,
such as the framework provided by EDA Systems, Inc. and the EIS effort
supported by the Department of Defense.
Professor Randy H. Katz has been active in the area of VLSI Design
Databases for the last eight years, and has published numerous articles on
the subject including a book entitled "Information Management for
Engineering Design". He has won a best paper award and two best
presentation awards at the annual ACM/IEEE Design Automation Conference for
his work on CAD databases. He was selected among the first round of NSF
Presidential Young Investigators in 1984.
---------------------------------------------------------------------------
EXHIBIT PROGRAM
Commercial Exhibits
The theme of this year's commercial exhibits is Advanced Data Models.
Exhibitors will be displaying new products and prototypes for data modeling
with an emphasis on new applications such as CAD/CAM, CASE, Office
Automation, and knowledge-based systems. Participants will include:
0@ (Altair, France)
PROBE (CCA)
IRIS (Hewlett-Packard Labs)
Vision (Innovative Systems Techniques)
VBASE (Ontologic Inc.)
G-BASE (RICOH, Ltd, Japan)
GemStone (Servio Logic Development Corp.)
Simplify (Sun Inc.)
SIM (Unisys Corporation)
University Prototypes Exhibits
A number of research prototypes will be demonstrated in these exhibits.
Areas covered here include advanced data models, CAD and multimedia data
servers, database design tools, extensible database systems, persistent
programming languages and transaction processing systems. Participants
will include:
Camelot (Carnegie Mellon Univ.)
DADBS (Tech. Univ. Darmstadt)
POSTGRES (Univ. of California, Berkeley)
PS_Algol (Univ. of Glasgow)
Design-By-Example (Univ. of Illinois-Chicago and
Univ. of Tampere)
Damokles (Univ. of Karlsruhe)
ADMS+ (Univ. of Marylang)
TempIS (Univ. of North Carolina)
Galileo (Univ. of Pisa)
GENESIS (Univ. of Texas, Austin)
MINOS (Univ. of Waterloo)
Exodus (Univ. of Wisconsin, Madison)
Version Manager (Univ. of California, Berkeley)
Conference Fees
----------------
----------------------------------------------------------
On or Before May 9 | After May 9
----------------------------------------------------------
Mem. Reg. Stu. | Mem. Reg. Stu
----------------------------------------------------------
$250 $320 $90 | $300 $350 $90
----------------------------------------------------------
Conference Registration Form
----------------------------
Make checks payable to ACM SIGMOD '88. Send
completed registration form and remittance to:
Dr. Kathi Hogshead Davis
Department of Computer Science
Northern Illinois University
DeKalb, Illinois 60115
Name _________________________________________________
Organization _________________________________________________
Address _________________________________________________
City, State, ZIP _______________________________________________
Country _______________________________________________
Business Phone _________________________________________________
AIII/ACM/IEEE # _________________________________________________
Net Address: __________________________________________________
========================================================================
Hotel Reservation Form: Please fill out the form and mail by May 9
to: Palmer House and Towers, 17 East Monroe Street, Chicago,
Illinois 60603, USA.
Or call: (312) 726-7500 or 1-800-HILTONS
######################################################################
Special Rates: $90 for Single/Double
Suite Rates Available Upon Request
PLEASE PRINT
Arrival Date ______________________________________________________
day of week month date time
Departure Date _____________________________________________________
day of week month date
Sharing Room with ___________________________________________________
Name ________________________________________________________________
last first
Affiliation ________________________________________________________
Address _________________________________________________________
City ________________________ State _____________ Zip _________
Country _________________________________________________________
Reservations must be received at the hotel by May 9, 1988.
-------------------
GUARANTEED RESERVATIONS
-------------------
First Night Deposit of Major Credit Card for any arrival after 6 PM.
GUARANTEE INFORMATION: (Please Print).
[] First night's deposit enclosed: $____________________________
[] Credit Card ____________________________________________________
AX, VISA, MC, DC, CB (circle one)
Expiration Date: _________________________
Signature: _____________________________________________________
--
Timos Sellis
CS Dept, University of Maryland, College Park, MD 20742
ARPA:timos@mimsy.umd.edu UUCP:{decvax,allegra,...}!mimsy!timos