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