2. PODS 1983: Atlanta, Georgia

Ronald Fagin, Philip A. Bernstein (Eds.): Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA. ACM 1983, ISBN 0-89791-097-4

Session 1

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

Session 2

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

Session 3

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

Session 4

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

Session 5

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

Session 6

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

Session 7

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

Session 8

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

Session 9

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

Session 10

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

Last update Thu May 24 04:40:21 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page