Moshe Y. Vardi
Proceedings of the Sixth Symposium on Principles of Database Systems
PODS-1987, 1987.

@proceedings{PODS-1987,
	acmid         = "28659",
	address       = "San Diego, California, USA",
	editor        = "Moshe Y. Vardi",
	isbn          = "0-89791-223-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth Symposium on Principles of Database Systems}",
	year          = 1987,
}

Contents (37 items)

13 ×#database
6 ×#query
5 ×#relational
4 ×#logic
4 ×#recursion
3 ×#bound
3 ×#concurrent
3 ×#on the
3 ×#set
3 ×#source code

PODS-1987-Ullman #database #past present future

Database Theory: Past and Future (JDU), pp. 1–10.

PODS-1987-Kuper #logic programming #set

Logic Programming With Sets (GMK), pp. 11–20.

PODS-1987-BeeriNRST #database #logic #set

Sets and Negation in a Logic Database Language (LDL1) (CB, SAN, RR, OS, ST), pp. 21–37.

PODS-1987-YuanO #database #design #logic #relational

Logical Design of Relational Database Systems (LYY, ZMÖ), pp. 38–47.

PODS-1987-ChanH #bound #database #dependence #design #functional #on the

On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies (EPFC, HJH), pp. 48–57.

PODS-1987-Gottlob #dependence #embedded #functional

Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.

PODS-1987-DAtriFM #database #query #relational

Dynamic Query Interpretation in Relational Databases (AD, PDF, MM), pp. 70–78.

PODS-1987-AtzeniB

A New Basis for the Weak Instance Model (PA, MCDB), pp. 79–86.

PODS-1987-Malvestuto #database #query

Answering Queries in Categorial Data Bases (FMM), pp. 87–96.

PODS-1987-FeketeLMW #transaction

Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.

PODS-1987-SegallW #communication #transaction

Transaction Commitment at Minimal Communication Cost (AS, OW), pp. 112–118.

PODS-1987-WangL #algorithm #concurrent #database #distributed

The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms (CPW, VOKL), pp. 119–128.

PODS-1987-Hadzilacos #analysis #protocol

A Knowledge Theoretic Analysis of Atomic Commitment Protocols (VH), pp. 129–134.

PODS-1987-Minker #database #deduction

Perspectives in Deductive Databases (JM), p. 135.

PODS-1987-AptP #database #maintenance

Maintenance of Stratified Databases Viewed as a Belief Revision System (KRA, JMP), pp. 136–145.

PODS-1987-Hegner #database #implementation #source code #specification

Specification and Implementation of Programs for Updating Incomplete Information Databases (SJH), pp. 146–158.

PODS-1987-Biliris

Operation Specific Locking in B-Trees (AB), pp. 159–169.

PODS-1987-NurmiSW #concurrent #database

Concurrency Control in Database Structures with Relaxed Balance (ON, ESS, DW), pp. 170–176.

PODS-1987-SunT #concurrent #multi #performance

Performance Results in Multiversion Timestamp Concurrency Control with Predeclared Writesets (RS, GT), pp. 177–184.

PODS-1987-Dechter

Decomposing an N-ary Relation into a Tree of Binary Relations (RD), pp. 185–189.

PODS-1987-Delgrande #automation #constraints #generative #maintenance

Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints (JPD), pp. 190–196.

PODS-1987-Imielinski #database #distributed

Relative Knowledge in a Distributed Database (TI), pp. 197–209.

PODS-1987-AfratiP #complexity #parallel #query

The Parallel Complexity of Simple Chain Queries (FNA, CHP), pp. 210–213.

PODS-1987-BeeriKBR #bound #logic programming #source code

Bounds on the Propagation of Selection into Logic Programs (CB, PCK, FB, RR), pp. 214–226.

PODS-1987-NaughtonS #bound #decidability #recursion

A Decidable Class of Bounded Recursions (JFN, YS), pp. 227–236.

PODS-1987-Shmueli #decidability #logic #query

Decidability and Expressiveness of Logic Queries (OS), pp. 237–249.

PODS-1987-Selinger

Chickens and Eggs: The Interrelationship of Systems and Theory (PGS), pp. 250–253.

PODS-1987-KarabegKPV #axiom #relational #transaction

Axiomatization and Simplification Rules for Relational Transactions (AK, DK, KP, VV), pp. 254–259.

PODS-1987-AbiteboulV #database #specification

A Transcation Language Complete for Database Update and Specification (SA, VV), pp. 260–268.

PODS-1987-BeeriR #on the #power of

On the Power of Magic (CB, RR), pp. 269–284.

PODS-1987-GrahneSS #evaluation #performance #query #recursion #set

Efficient Evaluation for a Subset of Recursive Queries (GG, SS, ESS), pp. 284–293.

PODS-1987-Marchetti-SpaccamelaPS #analysis #complexity #implementation #logic #query #worst-case

Worst-case Complexity Analysis of Methods for Logic Query Implementation (AMS, AP, DS), pp. 294–301.

PODS-1987-Gucht #algebra #on the #power of #relational

On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model (DVG), pp. 302–312.

PODS-1987-GelderT #calculus #relational #safety

Safety and Correct Translation of Relational Calculus Formulas (AVG, RWT), pp. 313–327.

PODS-1987-RamakrishnanBS #horn clause #infinity #recursion #safety

Safety of Recursive Horn Clauses With Infinite Relations (RR, FB, AS), pp. 328–339.

PODS-1987-Naughton #recursion

One-Sided Recursions (JFN), pp. 340–348.

PODS-1987-Sagiv #datalog #optimisation #source code

Optimizing Datalog Programs (YS), pp. 349–362.