Daniel J. Rosenkrantz, Ronald Fagin
Proceedings of the Third Symposium on Principles of Database Systems
PODS-1984, 1984.

@proceedings{PODS-1984,
	acmid         = "588011",
	address       = "Waterloo, Ontario, Canada",
	editor        = "Daniel J. Rosenkrantz and Ronald Fagin",
	isbn          = "0-89791-128-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on Principles of Database Systems}",
	year          = 1984,
}

Contents (36 items)

18 ×#database
7 ×#on the
5 ×#dependence
5 ×#query
4 ×#relational
3 ×#algebra
3 ×#approach
3 ×#concurrent
2 ×#functional
2 ×#graph

PODS-1984-DAtriM #database #design #on the #recognition

On the Recognition and Design of Acyclic Databases (AD, MM), pp. 1–8.

PODS-1984-GrahneR #database #dependence

Dependency Characterizations for Acyclic Database Schemes (GG, KJR), pp. 9–18.

PODS-1984-SaccaMM #database #dependence #functional

Properties of Database Schemata with Functional Dependencies (DS, FM, AM), pp. 19–28.

PODS-1984-CosmadakisK #approach #dependence #functional #graph

Functional and Inclusion Dependencies: A Graph Theoretic Approach (SSC, PCK), pp. 29–37.

PODS-1984-LausenSW #concurrent

Maximal Concurrency by Locking (GL, ESS, PW), pp. 38–44.

PODS-1984-BuckleyS #concurrent #graph #protocol #using

Concurrency Control in Graph Protocols by Using Edge Locks (GNB, AS), pp. 45–50.

PODS-1984-FordC #algorithm #concurrent

Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms (RF, JC), pp. 51–60.

PODS-1984-Garcia-MolinaPD #database #distributed #question

Is Byzantine Agreement Useful in a Distributed Database? (HGM, FMP, SBD), pp. 61–69.

PODS-1984-Batory #concept #database

Conceptual-To-Internal Mappings in Commercial Database Systems (DSB), pp. 70–78.

PODS-1984-Ong #approach #database

Synapse Approach to Database Recovery (KSO), pp. 79–85.

PODS-1984-KuperV #approach #database #logic

A New Approach to Database Logic (GMK, MYV), pp. 86–96.

PODS-1984-Hull #capacity #database #relational

Relative Information Capacity of Simple Relational Database Schemata (RH), pp. 97–109.

PODS-1984-CasanovaVF #database #perspective #specification

Formal Data Base Specification — An Eclectic Perspective (MAC, PASV, ALF), pp. 110–118.

PODS-1984-AbiteboulH #database #named #semantics

IFO: A Formal Semantic Database Model (SA, RH), pp. 119–132.

PODS-1984-OzsoyogluC #on the #query

On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries (ZMÖ, EC), pp. 133–142.

PODS-1984-GyssensP #composition #dependence #on the

On the Decomposition of Join Dependencies (MG, JP), pp. 143–152.

PODS-1984-HwangDG #multi #process #query #using

Using Semiouterjoins to Process Queries in Multidatabase Systems (HYH, UD, MGG), pp. 153–162.

PODS-1984-Hegner #algebra #canonical #component

Canonical View Update Support through Boolean Algebras of Components (SJH), pp. 163–173.

PODS-1984-Burkhard #maintenance

Index Maintenance for Non-Uniform Record Distributions (WAB), pp. 173–179.

PODS-1984-OrensteinM #data type

A Class of Data Structures for Associative Searching (JAO, THM), pp. 181–190.

PODS-1984-AbiteboulB #normalisation

Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.

PODS-1984-Lipski #algebra #on the #relational

On Relational Algebra with Marked Nulls (WLJ), pp. 201–203.

PODS-1984-Snodgrass #query

The Temporal Query Language TQuel (RTS), pp. 204–213.

PODS-1984-Vianu #relational

Object Projection Views in the Dynamic Relational Model (VV), pp. 214–220.

PODS-1984-KuperUV #database #equivalence #logic #on the

On the Equivalence of Logical Databases (GMK, JDU, MYV), pp. 221–228.

PODS-1984-YokotaKKMSM #algebra #generative #query #relational

An Enhanced Inference Mechanism for Generating Relational Algebra Queries (HY, SK, TK, NM, SS, KM), pp. 229–238.

PODS-1984-Salveter #database #natural language

A Transportable Natural Language Database Update System (SCS), pp. 239–247.

PODS-1984-StempleS #database #specification #verification

Specification and Verification of Abstract Database Types (DWS, TS), pp. 248–257.

PODS-1984-ImielinskiS #database #on the

On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption (TI, NS), pp. 258–265.

PODS-1984-FischerG #dependence #multi

Weak Multivalued Dependencies (PCF, DVG), pp. 266–274.

PODS-1984-Yannakakis #query

Querying Weak Instances (MY), pp. 275–280.

PODS-1984-GrahamV #axiom #complexity #consistency #database #on the

On the Complexity and Axiomatizability of Consistent Database States (MHG, MYV), pp. 281–289.

PODS-1984-SkeenW #database

Increasing Availability in Partitioned Database Systems (DS, DDW), pp. 290–299.

PODS-1984-GrahamGS #database #reliability #scheduling #transaction

Reliable Scheduling of Database Transactions for Unreliable Systems (MHG, NDG, BST), pp. 300–310.

PODS-1984-TaySG #database #performance

A Mean Value Performance Model for Locking in Databases: The Waiting Case (YCT, RS, NG), pp. 311–322.

PODS-1984-RaihaT #formal method #online #towards

Towards a Theory of Online Schedulers (KJR, HT), pp. 323–332.