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.