Daniel J. Rosenkrantz, Yehoshua Sagiv
Proceedings of the Ninth Symposium on Principles of Database Systems
PODS-1990, 1990.

@proceedings{PODS-1990,
	acmid         = "298514",
	address       = "Nashville, Tennessee, USA",
	editor        = "Daniel J. Rosenkrantz and Yehoshua Sagiv",
	isbn          = "0-89791-352-3",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Ninth Symposium on Principles of Database Systems}",
	year          = 1990,
}

Contents (36 items)

7 ×#database
7 ×#query
4 ×#constraints
4 ×#logic programming
4 ×#on the
3 ×#source code
2 ×#algorithm
2 ×#datalog
2 ×#deduction
2 ×#graph

PODS-1990-Kim #database #object-oriented #research

Research Directions in Object-Oriented Database Systems (WK), pp. 1–15.

PODS-1990-AbiteboulKW

Method Schemas (SA, PCK, EW), pp. 16–27.

PODS-1990-YuR #design #specification

Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications (LY, DJR), pp. 28–39.

PODS-1990-LiptonN #adaptation #estimation #query

Query Size Estimation by Adaptive Sampling (RJL, JFN), pp. 40–46.

PODS-1990-Gelder #constraints #logic programming #source code

Deriving Constraints Among Argument Sizes in Logic Programs (AVG), pp. 47–60.

PODS-1990-KolaitisV #case study #datalog #on the #power of #tool support

On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.

PODS-1990-CareyKL #approach

Load Control for Locking: The “Half-and-Half” Approach (MJC, SK, ML), pp. 72–84.

PODS-1990-AgrawalA

Locks with Constrained Sharing (DA, AEA), pp. 85–93.

PODS-1990-FeketeLW #graph #transaction

A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.

PODS-1990-WeikumHBM #multi

Multi-Level Recovery (GW, CH, PB, PM), pp. 109–123.

PODS-1990-Tay #multi #on the

On the Optimality of Strategies for Multiple Joins (YCT), pp. 124–131.

PODS-1990-Saraiya #database #deduction #polynomial #program transformation

Polynomial-Time Program Transformations in Deductive Databases (YPS), pp. 132–144.

PODS-1990-Plambeck #optimisation #query #recursion

Semigroup Techniques in Recursive Query Optimization (TEP), pp. 145–153.

PODS-1990-Elkan #database #independence #logic #query

Independence of Logic Database Queries and Updates (CE), pp. 154–160.

PODS-1990-Ross #composition #datalog #set #source code

Modular Stratification and Magic Sets for DATALOG Programs with Negation (KAR), pp. 161–171.

PODS-1990-YouY #formal method #logic programming #question

Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.

PODS-1990-Royer #evaluation

Backward Chaining Evaluation in Stratified Disjunctive Theories (VR), pp. 183–195.

PODS-1990-Schlipf #logic programming #semantics

The Expressive Powers of the Logic Programming Semantics (JSS), pp. 196–204.

PODS-1990-SaccaZ #logic programming #modelling #nondeterminism #source code

Stable Models and Non-Determinism in Logic Programs with Negation (DS, CZ), pp. 205–217.

PODS-1990-AbiteboulSV #nondeterminism

Non-Deterministic Languages to Express Deterministic Transformations (SA, ES, VV), pp. 218–229.

PODS-1990-Yannakakis #database #graph

Graph-Theoretic Methods in Database Theory (MY), pp. 230–242.

PODS-1990-Willard #algorithm #calculus #relational

Quasilinear Algorithms for Processing Relational Calculus Expressions (DEW), pp. 243–257.

PODS-1990-Abdel-GhaffarA #on the

On the Optimality of Disk Allocation for Cartesian Product Files (KASAG, AEA), pp. 258–264.

PODS-1990-ArefS #data type #performance #query

Efficient Processing of Window Queries in The Pyramid Data Structure (WGA, HS), pp. 265–272.

PODS-1990-JohnsonS #algorithm #analysis #concurrent #framework #performance

A Framework for the Performance Analysis of Concurrent B-tree Algorithms (TJ, DS), pp. 273–287.

PODS-1990-Lassez #constraints #query

Querying Constraints (JLL), pp. 288–298.

PODS-1990-KanellakisKR #constraints #query

Constraint Query Languages (PCK, GMK, PZR), pp. 299–313.

PODS-1990-MumickFPR

Magic Conditions (ISM, SJF, HP, RR), pp. 314–330.

PODS-1990-HaritsaCL #constraints #on the #realtime

On Being Optimistic about Real-Time Constraints (JRH, MJC, ML), pp. 331–343.

PODS-1990-TamH #fine-grained #migration #transaction

Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.

PODS-1990-SoparkarS #clustering

Data-value Partitioning and Virtual Messages (NS, AS), pp. 357–367.

PODS-1990-PilarskiK #database #distributed #novel

A Novel Checkpointing Scheme for Distributed Database Systems (SP, TK), pp. 368–378.

PODS-1990-Chomicki #database #deduction #polynomial #query

Polynomial Time Query Processing in Temporal Deductive Databases (JC), pp. 379–391.

PODS-1990-KabanzaSW #infinity

Handling Infinite Temporal Data (FK, JMS, PW), pp. 392–403.

PODS-1990-ConsensM #named #recursion #visual notation

GraphLog: a Visual Formalism for Real Life Recursion (MPC, AOM), pp. 404–416.

PODS-1990-GyssensPG #database

A Graph-Oriented Object Database Model (MG, JP, DVG), pp. 417–424.