2. PODS 1983: Atlanta, Georgia

@proceedings{DBLP:conf/pods/83,
  title     = {Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 21-23, 1983, Colony Square Hotel,
               Atlanta, Georgia},
  publisher = {ACM},
  year      = {1983},
  isbn      = {0-89791-097-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session 1

• Michael J. Fischer, Nancy A. Lynch, Mike Paterson:
  Impossibility of Distributed Consensus with One Faulty Process. 1-7
  Electronic Edition (ACM DL) BibTeX
• Nathan Goodman, Dale Skeen, Arvola Chan, Umeshwar Dayal, Stephen Fox, Daniel R. Ries:
  A Recovery Algorithm for a Distributed Database System. 8-15
  Electronic Edition (ACM DL) BibTeX
• Dale Skeen:
  Determining the Last Process to Fail. 16-24
  Electronic Edition (ACM DL) BibTeX

Session 2

• Francis Y. L. Chin, K. V. S. Ramarao:
  Optimal Termination Prococols for Network Partitioning. 25-35
  Electronic Edition (ACM DL) BibTeX
• Marco A. Casanova, Vânia Maria Ponte Vidal:
  Towards a Sound View Integration Methodology. 36-47
  Electronic Edition (ACM DL) BibTeX
• Edward Sciore:
  Inclusion Dependencies and the Universal Instance. 48-57
  Electronic Edition (ACM DL) BibTeX
• John C. Mitchell:
  Inference Rules for Functional and Inclusion Dependencies. 58-69
  Electronic Edition (ACM DL) BibTeX

Session 3

• J. Ian Munro, Patricio V. Poblete:
  A Discipline for Robustness or Storage Reduction in Binary Search Trees. 70-75
  Electronic Edition (ACM DL) BibTeX
• Walter A. Burkhard:
  Interpolation-Based Index Maintenance. 76-89
  Electronic Edition (ACM DL) BibTeX
• Aris M. Ouksel, Peter Scheuermann:
  Storage Mappings for Multidimensional Linear Dynamic Hashing. 90-105
  Electronic Edition (ACM DL) BibTeX
• Carla Schlatter Ellis:
  Extendible Hashing for Concurrent Operations and Distributed Data. 106-116
  Electronic Edition (ACM DL) BibTeX

Session 4

• Gaston H. Gonnet:
  Unstructured Data Bases or Very Efficient Text Searching. 117-124
  Electronic Edition (ACM DL) BibTeX
• Umeshwar Dayal:
  Processing Queries with Quantifiers: A Horticultural Approach. 125-136
  Electronic Edition (ACM DL) BibTeX
• Chandra M. R. Kintala:
  Attributed Grammars for Query Language Translations. 137-148
  Electronic Edition (ACM DL) BibTeX
• Stavros S. Cosmadakis:
  The Complexity of Evaluating Relational Queries. 149-155
  Electronic Edition (ACM DL) BibTeX

Session 5

• Michael J. Carey:
  Granularity Hierarchies in Concurrency Control. 156-165
  Electronic Edition (ACM DL) BibTeX
• Nancy A. Lynch:
  Concurrency Control for Resilient Nested Transactions. 166-181
  Electronic Edition (ACM DL) BibTeX
• Meichun Hsu, Stuart E. Madnick:
  Hierarchical Database Decomposition - A Technique for Database Concurrency Control. 182-191
  Electronic Edition (ACM DL) BibTeX
• Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson:
  A Framework for Understanding Distributed (Deadlock Detection) Algorithms. 192-202
  Electronic Edition (ACM DL) BibTeX

Session 6

• Nathan Goodman, Rajan Suri, Y. C. Tay:
  A Simple Analytic Model for Performance of Exclusive Locking in Database Systems. 203-215
  Electronic Edition (ACM DL) BibTeX
• R. J. Peterson, Jimmy P. Strickland:
  LOG Write-Ahead Protocols and IMS/VS Logging. 216-243
  Electronic Edition (ACM DL) BibTeX
• Vassos Hadzilacos:
  An Operational Model for Database System Reliability. 244-257
  Electronic Edition (ACM DL) BibTeX
• Kowtha Murthy, John B. Kam, M. S. Krishnamoorthy:
  An Approximation Algorithm to the File Allocation Problem in Computer Networks. 258-266
  Electronic Edition (ACM DL) BibTeX

Session 7

• Nathan Goodman, Oded Shmueli, Y. C. Tay:
  GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections. 267-278
  Electronic Edition (ACM DL) BibTeX
• David Maier, Jeffrey D. Ullman, Moshe Y. Vardi:
  The Revenge of the JD. 279-287
  Electronic Edition (ACM DL) BibTeX
• Edward P. F. Chan, Alberto O. Mendelzon:
  Independent and Separable Database Schemes. 288-296
  Electronic Edition (ACM DL) BibTeX
• Domenico Saccà:
  On the Recognition of Coverings of Acyclic Database Hypergraphs. 297-304
  Electronic Edition (ACM DL) BibTeX

Session 8

• Tomasz Imielinski, Witold Lipski Jr.:
  Inverting Relational Expressions - A Uniform and Natural Technique for Various Database Problems. 305-311
  Electronic Edition (ACM DL) BibTeX
• Serge Abiteboul, M. Spyratos, Nicolas Spyratos:
  Information Theoretic Aspects of Data Bases. 312-316
  Electronic Edition (ACM DL) BibTeX
• Stavros S. Cosmadakis, Christos H. Papadimitriou:
  Updates of Relational Views. 317-331
  Electronic Edition (ACM DL) BibTeX

Session 9

• Seymour Ginsburg, Richard Hull:
  Sort Sets in the Relational Model. 332-339
  Electronic Edition (ACM DL) BibTeX
• Catriel Beeri, Michael Kifer:
  Elimination of Intersection Anomalies from Database Schemes. 340-351
  Electronic Edition (ACM DL) BibTeX
• Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi:
  On the Semantics of Updates in Databases. 352-365
  Electronic Edition (ACM DL) BibTeX
• Marc H. Graham:
  Path Expressions in Databases. 366-378
  Electronic Edition (ACM DL) BibTeX

Session 10

• Edward Sciore:
  Improving Database Schemes by Adding Attributes. 379-383
  Electronic Edition (ACM DL) BibTeX
• Serge Abiteboul:
  Disaggregations in Databases. 384-388
  Electronic Edition (ACM DL) BibTeX
• Victor Vianu:
  Dynamic Constraints and Database Evolution. 389-399
  Electronic Edition (ACM DL) BibTeX
• Stephen J. Hegner:
  Algebraic Aspects of Relational Database Decomposition. 400-413
  Electronic Edition (ACM DL) BibTeX