Ronald Fagin, Philip A. Bernstein
Proceedings of the Second Symposium on Principles of Database Systems
PODS-1983, 1983.

@proceedings{PODS-1983,
	acmid         = "588058",
	address       = "Atlanta, Georgia, USA",
	editor        = "Ronald Fagin and Philip A. Bernstein",
	isbn          = "0-89791-097-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second Symposium on Principles of Database Systems}",
	year          = 1983,
}

Contents (38 items)

16 ×#database
5 ×#concurrent
5 ×#relational
4 ×#distributed
3 ×#algorithm
3 ×#query
2 ×#aspect-oriented
2 ×#composition
2 ×#dependence
2 ×#network

PODS-1983-FischerLP #distributed #process

Impossibility of Distributed Consensus with One Faulty Process (MJF, NAL, MP), pp. 1–7.

PODS-1983-GoodmanSCDFR #algorithm #database #distributed

A Recovery Algorithm for a Distributed Database System (NG, DS, AC, UD, SF, DRR), pp. 8–15.

PODS-1983-Skeen #process

Determining the Last Process to Fail (DS), pp. 16–24.

PODS-1983-ChinR #clustering #network #termination

Optimal Termination Prococols for Network Partitioning (FYLC, KVSR), pp. 25–35.

PODS-1983-CasanovaV #integration #towards

Towards a Sound View Integration Methodology (MAC, VMPV), pp. 36–47.

PODS-1983-Sciore #dependence

Inclusion Dependencies and the Universal Instance (ES), pp. 48–57.

PODS-1983-Mitchell #dependence #functional

Inference Rules for Functional and Inclusion Dependencies (JCM), pp. 58–69.

PODS-1983-MunroP #reduction #robust

A Discipline for Robustness or Storage Reduction in Binary Search Trees (JIM, PVP), pp. 70–75.

PODS-1983-Burkhard #maintenance

Interpolation-Based Index Maintenance (WAB), pp. 76–89.

PODS-1983-OukselS #linear #multi

Storage Mappings for Multidimensional Linear Dynamic Hashing (AMO, PS), pp. 90–105.

PODS-1983-Ellis #concurrent #distributed

Extendible Hashing for Concurrent Operations and Distributed Data (CSE), pp. 106–116.

PODS-1983-Gonnet #database #performance #semistructured data

Unstructured Data Bases or Very Efficient Text Searching (GHG), pp. 117–124.

PODS-1983-Dayal #approach #quantifier #query

Processing Queries with Quantifiers: A Horticultural Approach (UD), pp. 125–136.

PODS-1983-Kintala #attribute grammar #query

Attributed Grammars for Query Language Translations (CMRK), pp. 137–148.

PODS-1983-Cosmadakis #complexity #query #relational

The Complexity of Evaluating Relational Queries (SSC), pp. 149–155.

PODS-1983-Carey #concurrent

Granularity Hierarchies in Concurrency Control (MJC), pp. 156–165.

PODS-1983-Lynch #concurrent #transaction

Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.

PODS-1983-HsuM #composition #concurrent #database

Hierarchical Database Decomposition — A Technique for Database Concurrency Control (MH, SEM), pp. 182–191.

PODS-1983-KorthKNR #algorithm #comprehension #concurrent #detection #distributed #framework

A Framework for Understanding Distributed (Deadlock Detection) Algorithms (HFK, RK, AN, JTR), pp. 192–202.

PODS-1983-GoodmanST #database #performance

A Simple Analytic Model for Performance of Exclusive Locking in Database Systems (NG, RS, YCT), pp. 203–215.

PODS-1983-PetersonS #protocol

LOG Write-Ahead Protocols and IMS/VS Logging (RJP, JPS), pp. 216–243.

PODS-1983-Hadzilacos #database #reliability

An Operational Model for Database System Reliability (VH), pp. 244–257.

PODS-1983-MurthyKK #algorithm #approximate #network #problem

An Approximation Algorithm to the File Allocation Problem in Computer Networks (KM, JBK, MSK), pp. 258–266.

PODS-1983-GoodmanST83a #canonical #reduction

GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections (NG, OS, YCT), pp. 267–278.

PODS-1983-MaierUV

The Revenge of the JD (DM, JDU, MYV), pp. 279–287.

PODS-1983-ChanM #database #independence

Independent and Separable Database Schemes (EPFC, AOM), pp. 288–296.

PODS-1983-Sacca #database #on the #recognition

On the Recognition of Coverings of Acyclic Database Hypergraphs (DS), pp. 297–304.

PODS-1983-ImielinskiL #database #problem #relational

Inverting Relational Expressions — A Uniform and Natural Technique for Various Database Problems (TI, WLJ), pp. 305–311.

PODS-1983-AbiteboulSS #aspect-oriented #database

Information Theoretic Aspects of Data Bases (SA, MS, NS), pp. 312–316.

PODS-1983-Cosmadakis83a #relational

Updates of Relational Views (SSC, CHP), pp. 317–331.

PODS-1983-GinsburgH #relational #set

Sort Sets in the Relational Model (SG, RH), pp. 332–339.

PODS-1983-BeeriK #database

Elimination of Intersection Anomalies from Database Schemes (CB, MK), pp. 340–351.

PODS-1983-FaginUV #database #on the #semantics

On the Semantics of Updates in Databases (RF, JDU, MYV), pp. 352–365.

PODS-1983-Graham #database

Path Expressions in Databases (MHG), pp. 366–378.

PODS-1983-Sciore83a #database

Improving Database Schemes by Adding Attributes (ES), pp. 379–383.

PODS-1983-Abiteboul #database

Disaggregations in Databases (SA), pp. 384–388.

PODS-1983-Vianu #constraints #database #evolution

Dynamic Constraints and Database Evolution (VV), pp. 389–399.

PODS-1983-Hegner #algebra #aspect-oriented #composition #database #relational

Algebraic Aspects of Relational Database Decomposition (SJH), pp. 400–413.