


default search action
2nd PODS 1983: Atlanta, Georgia
- Ronald Fagin, Philip A. Bernstein:

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, Michael 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














