Chris Edmondson-Yurkanan, Mihalis Yannakakis
Proceedings of the Seventh Symposium on Principles of Database Systems
PODS-1988, 1988.

@proceedings{PODS-1988,
	acmid         = "308386",
	address       = "Austin, Texas, USA",
	editor        = "Chris Edmondson-Yurkanan and Mihalis Yannakakis",
	isbn          = "0-89791-263-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Symposium on Principles of Database Systems}",
	year          = 1988,
}

Contents (36 items)

11 ×#database
8 ×#query
5 ×#set
4 ×#concurrent
4 ×#logic programming
3 ×#algebra
3 ×#multi
3 ×#relational
3 ×#semantics
2 ×#algorithm

PODS-1988-Chandra #database #query

Theory of Database Queries (AKC), pp. 1–9.

PODS-1988-Kuper #logic programming #on the #power of #programming language #set

On the Expressive Power of Logic Programming Languages with Sets (GMK), pp. 10–14.

PODS-1988-ShmueliTZ #logic #set

Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.

PODS-1988-ParedaensG #algebra #using

Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions (JP, DVG), pp. 29–38.

PODS-1988-HullS #database #on the #power of #query

On the Expressive Power of Database Queries with Intermediate Types (RH, JS), pp. 39–51.

PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety

An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.

PODS-1988-ChomickiI #database #deduction #infinity

Temporal Deductive Databases and Infinite Objects (JC, TI), pp. 61–73.

PODS-1988-UllmanV #complexity

The Complexity of Ordering Subgoals (JDU, MYV), pp. 74–81.

PODS-1988-Morris #algorithm #exclamation

An Algorithm for Ordering Subgoals in NAIL! (KAM), pp. 82–88.

PODS-1988-RamakrishnanBK #datalog #optimisation #query

Optimizing Existential Datalog Queries (RR, CB, RK), pp. 89–102.

PODS-1988-ImielinskiN #algebra #logic programming #source code

Explicit Control of Logic Programs Through Rule Algebra (TI, SAN), pp. 103–116.

PODS-1988-RamakrishnaM #analysis #bound

Analysis of Bounded Disorder File Organization (MVR, PM), pp. 117–125.

PODS-1988-SrivastavaR #maintenance #modelling

Analytical Modeling of Materialized View Maintenance (JS, DR), pp. 126–134.

PODS-1988-Hadzilacos #algorithm #concurrent #graph #multi

Serialization Graph Algorithms for Multiversion Concurrency Control (TH), pp. 135–141.

PODS-1988-Kelter #concurrent #protocol #queue

The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.

PODS-1988-Bancilhon #database #object-oriented

Object-Oriented Database Systems (FB), pp. 152–162.

PODS-1988-ChanH #database

Independence-reducible Database Schemes (EPFC, HJH), pp. 163–173.

PODS-1988-Hegner #component #composition #relational #strict

Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction (SJH), pp. 174–183.

PODS-1988-Batory #compilation #concept #database

Concepts for a Database System Compiler (DSB), pp. 184–192.

PODS-1988-HadzilacosH #transaction

Transaction Synchronisation in Object Bases (TH, VH), pp. 193–200.

PODS-1988-HerlihyW #concurrent #data type #hybrid

Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.

PODS-1988-LaninS #concurrent #set

Concurrent Set Manipulation without Locking (VL, DS), pp. 211–220.

PODS-1988-GelderRS #logic programming #semantics #set #source code

Unfounded Sets and Well-Founded Semantics for General Logic Programs (AVG, KAR, JSS), pp. 221–230.

PODS-1988-KolaitisP #fixpoint #question #why

Why Not Negation by Fixpoint? (PGK, CHP), pp. 231–239.

PODS-1988-AbiteboulV #database #declarative

Procedural and Declarative Database Update Languages (SA, VV), pp. 240–250.

PODS-1988-NaqviK #database #logic programming

Database Updates in Logic Programming (SAN, RK), pp. 251–262.

PODS-1988-MuralikrishnaD #multi #optimisation #query

Optimization of Multiple-Relation Multiple-Disjunct Queries (MM, DJD), pp. 263–275.

PODS-1988-HouOT #algebra #relational #statistics

Statistical Estimators for Relational Algebra Expressions (WCH, GÖ, BKT), pp. 276–287.

PODS-1988-HuangL #multi #set

Stable Set and Multiset Operations in Optimal Time and Space (BCH, MAL), pp. 288–293.

PODS-1988-YuR #database #version control

Minimizing Time-Space Cost For Database Version Control (LY, DJR), pp. 294–301.

PODS-1988-Reiter #database #question #what

What Should A Database Know? (RR), pp. 302–304.

PODS-1988-BunemanDW #approximate #query #semantics

A Semantics for Complex Objects and Approximate Queries (PB, SBD, AW), pp. 305–314.

PODS-1988-Winslett #comparison #framework #semantics

A Framework for Comparison of Update Semantics (MW), pp. 315–324.

PODS-1988-SippuS #query #relational #transitive

A Generalized Transitive Closure for Relational Queries (SS, ESS), pp. 325–332.

PODS-1988-HaddadN

Counting Methods for Cyclic Relations (RWH, JFN), pp. 333–340.

PODS-1988-Vardi #bound #decidability #linear #query #recursion

Decidability and Undecidability Results for Boundedness of Linear Recursive Queries (MYV), pp. 341–351.