Jeffrey D. Ullman, Alfred V. Aho
Proceedings of the First Symposium on Principles of Database Systems
PODS-1982, 1982.

@proceedings{PODS-1982,
	acmid         = "588111",
	address       = "Los Angeles, California, USA",
	editor        = "Jeffrey D. Ullman and Alfred V. Aho",
	isbn          = "0-89791-070-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First Symposium on Principles of Database Systems}",
	year          = 1982,
}

Contents (37 items)

8 ×#database
6 ×#dependence
4 ×#relational
3 ×#algebra
3 ×#concurrent
3 ×#multi
3 ×#query
2 ×#algorithm
2 ×#formal method
2 ×#functional

PODS-1982-AtzeniP #database #relational

Assumptions in Relational Database Theory (PA, DSPJ), pp. 1–9.

PODS-1982-Ullman

The U. R. Strikes Back (JDU), pp. 10–22.

PODS-1982-Rissanen #database #on the

On Equivalences of Database Schemes (JR), pp. 23–26.

PODS-1982-Zaniolo #database #null

Database Relations with Null Values (CZ), pp. 27–33.

PODS-1982-MaierU

Connections in Acyclic Hypergraphs (DM, JDU), pp. 34–39.

PODS-1982-GoodmanS #query

The Tree Property is Fundamental for Query Processing (NG, OS), pp. 40–48.

PODS-1982-GoodmanS82a

Transforming Cyclic Schemas into Trees (NG, OS), pp. 49–54.

PODS-1982-BeeriK

Compatible Attributes in a Universal Relation (CB, HFK), pp. 55–62.

PODS-1982-Lynch #multi

Multilevel Atomicity (NAL), pp. 63–69.

PODS-1982-FischerM

Sacrificing Serializability to Attain High Availability of Data (MJF, AM), pp. 70–75.

PODS-1982-PapadimitriouK #concurrent #multi #on the

On Concurrency Control by Multiple Versions (CHP, PCK), pp. 76–82.

PODS-1982-Reuter #concurrent

Concurrency on High-trafic Data Elements (AR0), pp. 83–92.

PODS-1982-Hadzilacos #algorithm

An Algorithm for Minimizing Roll Back Cost (VH), pp. 93–97.

PODS-1982-KanellakisP #distributed #question

Is Distributed Locking Harder? (PCK, CHP), pp. 98–107.

PODS-1982-Soisalon-SoininenW #algorithm #detection #safety #testing #transaction

An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems (ESS, DW), pp. 108–116.

PODS-1982-DayalGK #algebra #relational

An Extended Relational Algebra with Control over Duplicate Elimination (UD, NG, RHK), pp. 117–123.

PODS-1982-JaeschkeS #algebra #normalisation

Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.

PODS-1982-ReissPD #privacy

Non-reversible Privacy Transformations (SPR, MJP, TD), pp. 139–146.

PODS-1982-KuckS #database #network

A Universal Relation Database System Implemented via the Network Model (SMK, YS), pp. 147–157.

PODS-1982-ChandraH #fixpoint #horn clause #query

Horn Clauses and the Fixpoint Query Hierarchy (AKC, DH), pp. 158–163.

PODS-1982-JohnsonK #dependence #functional #query #testing

Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.

PODS-1982-ImielinskiL #algebra #relational

The Relational Model of Data and Cylindrial Algebras (TI, WLJ), p. 170.

PODS-1982-CasanovaFP #dependence #functional #interactive

Inclusion Dependencies and Their Interaction with Functional Dependencies (MAC, RF, CHP), pp. 171–176.

PODS-1982-GrahamM #dependence

Notions of Dependency Satisfaction (MHG, AOM), pp. 177–188.

PODS-1982-Casanova #dependence #formal method #relational

A Theory of Data Dependencies over Relational Expressions (MAC), pp. 189–198.

PODS-1982-GrahamY #database #independence

Independent Database Schemas (MHG, MY), pp. 199–204.

PODS-1982-HullY #database #formal method

The Format Model: A Theory of Database Organization (RH, CKY), pp. 205–211.

PODS-1982-Spyratos #approach #database

An Operational Approach to Data Bases (NS), pp. 212–220.

PODS-1982-GurevichL #dependence #problem

The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.

PODS-1982-Vardi #dependence #finite #problem

The Implication and Finite Implication Problems for Typed Template Dependencies (MYV), pp. 230–238.

PODS-1982-Maier #database #memory management #using

Using Write-once Memory for Database Storage (DM), pp. 239–246.

PODS-1982-MenasceN #commit #evaluation #performance #protocol

Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS (DAM, TN), pp. 247–255.

PODS-1982-GonnetL

External Hashing with Limited Internal Storage (GHG, PÅL), pp. 256–261.

PODS-1982-RotemTK #clustering #design #multi

Foundations for Multifile Design by Application Partitioning (DR, FWT, DGK), pp. 262–267.

PODS-1982-ManberL #concurrent

Concurrency Control in a Dynamic Search Structure (UM, REL), pp. 268–282.

PODS-1982-MohanFS #commutative #protocol

Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.

PODS-1982-KrishnamurthyD #parallel #transaction

Theory of Serializability for a Parallel Model of Transactions (RK, UD), pp. 293–305.