3. PODS 1984: Waterloo, Ontario, Canada

@proceedings{DBLP:conf/pods/84,
  title     = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {ACM},
  year      = {1984},
  isbn      = {0-89791-128-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Alessandro D'Atri, Marina Moscarini:
  On the Recognition and Design of Acyclic Databases. 1-8
  
• Gösta Grahne, Kari-Jouko Räihä:
  Dependency Characterizations for Acyclic Database Schemes. 9-18
  
• Domenico Saccà, F. Manfredi, A. Mecchia:
  Properties of Database Schemata with Functional Dependencies. 19-28
  
• Stavros S. Cosmadakis, Paris C. Kanellakis:
  Functional and Inclusion Dependencies: A Graph Theoretic Approach. 29-37
  

Session 2

• Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer:
  Maximal Concurrency by Locking. 38-44
  
• Gael N. Buckley, Abraham Silberschatz:
  Concurrency Control in Graph Protocols by Using Edge Locks. 45-50
  
• Ray Ford, Jim Calhoun:
  Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms. 51-60
  

Session 3

• Hector Garcia-Molina, Frank M. Pittelli, Susan B. Davidson:
  Is Byzantine Agreement Useful in a Distributed Database? 61-69
  
• Don S. Batory:
  Conceptual-To-Internal Mappings in Commercial Database Systems. 70-78
  
• Kee S. Ong:
  Synapse Approach to Database Recovery. 79-85
  

Session 4

• Gabriel M. Kuper, Moshe Y. Vardi:
  A New Approach to Database Logic. 86-96
  
• Richard Hull:
  Relative Information Capacity of Simple Relational Database Schemata. 97-109
  
• Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado:
  Formal Data Base Specification - An Eclectic Perspective. 110-118
  
• Serge Abiteboul, Richard Hull:
  IFO: A Formal Semantic Database Model. 119-132
  

Session 5

• Z. Meral Özsoyoglu, Elarbi Choukhmane:
  On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries. 133-142
  
• Marc Gyssens, Jan Paredaens:
  On the Decomposition of Join Dependencies. 143-152
  
• Hai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda:
  Using Semiouterjoins to Process Queries in Multidatabase Systems. 153-162
  
• Stephen J. Hegner:
  Canonical View Update Support through Boolean Algebras of Components. 163-173
  

Session 6

• Walter A. Burkhard:
  Index Maintenance for Non-Uniform Record Distributions. 173-179
  
• Jack A. Orenstein, T. H. Merrett:
  A Class of Data Structures for Associative Searching. 181-190
  
• Serge Abiteboul, Nicole Bidoit:
  Non First Normal Form Relations to Represent Hierarchical Organized Data. 191-200
  

Session 7

• Witold Lipski Jr.:
  On Relational Algebra with Marked Nulls. 201-203
  
• Richard T. Snodgrass:
  The Temporal Query Language TQuel. 204-213
  
• Victor Vianu:
  Object Projection Views in the Dynamic Relational Model. 214-220
  

Session 8

• Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi:
  On the Equivalence of Logical Databases. 221-228
  
• Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami:
  An Enhanced Inference Mechanism for Generating Relational Algebra Queries. 229-238
  
• Sharon C. Salveter:
  A Transportable Natural Language Database Update System. 239-247
  
• David W. Stemple, Tim Sheard:
  Specification and Verification of Abstract Database Types. 248-257
  

Session 9

• Tomasz Imielinski, Nicolas Spyratos:
  On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption. 258-265
  
• Patrick C. Fischer, Dirk Van Gucht:
  Weak Multivalued Dependencies. 266-274
  
• Mihalis Yannakakis:
  Querying Weak Instances. 275-280
  
• Marc H. Graham, Moshe Y. Vardi:
  On the Complexity and Axiomatizability of Consistent Database States. 281-289
  

Session 10

• Dale Skeen, David D. Wright:
  Increasing Availability in Partitioned Database Systems. 290-299
  
• Marc H. Graham, Nancy D. Griffeth, Barbara Smith-Thomas:
  Reliable Scheduling of Database Transactions for Unreliable Systems. 300-310
  
• Y. C. Tay, Rajan Suri, Nathan Goodman:
  A Mean Value Performance Model for Locking in Databases: The Waiting Case. 311-322
  
• Kari-Jouko Räihä, Henry Tirri:
  Towards a Theory of Online Schedulers. 323-332