Avi Silberschatz
Proceedings of the Fifth Symposium on Principles of Database Systems
PODS-1986, 1986.

@proceedings{PODS-1986,
	acmid         = "6012",
	address       = "Cambridge, Massachusetts, USA",
	editor        = "Avi Silberschatz",
	isbn          = "0-89791-179-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth Symposium on Principles of Database Systems}",
	year          = 1986,
}

Contents (29 items)

8 ×#database
6 ×#query
4 ×#multi
4 ×#on the
4 ×#relational
2 ×#deduction
2 ×#evaluation
2 ×#logic
2 ×#parallel
2 ×#recursion

PODS-1986-BancilhonMSU #logic programming #set #source code

Magic Sets and Other Strange Ways to Implement Logic Programs (FB, DM, YS, JDU), pp. 1–15.

PODS-1986-SaccaZ #database #implementation #logic #on the #query

On the Implementation of a Simple Class of Logic Queries for Databases (DS, CZ), pp. 16–23.

PODS-1986-AfratiPPRSU #convergence #evaluation #query

Convergence of Sideways Query Evaluation (FNA, CHP, GP, AR, YS, JDU), pp. 24–30.

PODS-1986-Weikum #concurrent #multi

A Theoretical Foundation of Multi-Level Concurrency Control (GW), pp. 31–43.

PODS-1986-Hadzilacos #transaction

Deleting Completed Transactions (TH, MY), pp. 43–46.

PODS-1986-Su #safety

Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.

PODS-1986-BancilhonK #calculus

A Calculus for Complex Objects (FB, SK), pp. 53–60.

PODS-1986-GuchtF #multi #relational

Some Classes of Multilevel Relational Structures (DVG, PCF), pp. 60–69.

PODS-1986-Gadia

Weak Temporal Relations (SKG), pp. 70–77.

PODS-1986-OlkenR #performance

Rearranging Data to Maximize the Efficiency of Compression (FO, DR), pp. 78–90.

PODS-1986-Robinson #linear #order #statistics #using

Order Preserving Linear Hashing Using Dynamic Key Statistics (JTR), pp. 91–99.

PODS-1986-Otoo #multi

Balanced Multidimensional Extendible Hash Tree (EJO), pp. 100–113.

PODS-1986-Naqvi #first-order #query

Negation as Failure for First-Order Queries (SAN), pp. 114–122.

PODS-1986-BidoitH #database #deduction

Positivism vs. Minimalism in Deductive Databases (NB, RH), pp. 123–132.

PODS-1986-GelfondPP #parallel

The Extended Closed World Assumpution and its Relationship to Parallel Circumscription (MG, HP, TCP), pp. 133–139.

PODS-1986-ChanA #on the

On the Properties and Characterization of Connection-tap-free Schemes (EPFC, PA), pp. 140–147.

PODS-1986-BiskupBSK

One Flavor Assumption and Gamma-Acyclicity for Universal Relation Views (JB, HHB, LS, MK), pp. 148–159.

PODS-1986-SagivS #equivalence #query

The Equivalence of Solving Queries and Production Tree Projections (YS, OS), pp. 160–172.

PODS-1986-SagivS86a #finite #on the

On Finite FD-Acyclicity (YS, OS), pp. 173–182.

PODS-1986-YuanO #database #dependence #design #functional #multi #relational

Unifying Functional and Multivalued Dependencies for Relational Database Design (LYY, ZMÖ), pp. 183–190.

PODS-1986-RulandS #database #relational

Alpha-Acyclic Decompositions of Relational Database Schemes (DR, DS), pp. 191–201.

PODS-1986-GrahamW #constant #maintenance

Constant Time Maintenance or The Triumph of the fd (MHG, KW), pp. 202–216.

PODS-1986-MannilaR #query #relational #testing

Test Data for Relational Queries (HM, KJR), pp. 217–223.

PODS-1986-Wilkins #approach #database #logic

A Model-Theoretic Approach to Updating Logical Databases (MW), pp. 224–234.

PODS-1986-AbiteboulV #transaction

Deciding Properties of Transactional Schemas (SA, VV), pp. 235–239.

PODS-1986-AbbadiT #database

Availability in Partitioned Replicated Databases (AEA, ST), pp. 240–251.

PODS-1986-Vardi #database #on the

On the Integrity of Databases with Incomplete Information (MYV), pp. 252–266.

PODS-1986-Naughton #database #deduction #independence #recursion

Data Independent Recursion in Deductive Databases (JFN), pp. 267–279.

PODS-1986-CosmadakisK #evaluation #parallel #query #recursion

Parallel Evaluation of Recursive Rule Queries (SSC, PCK), pp. 280–293.