Daniel J. Rosenkrantz
Proceedings of the 10th Symposium on Principles of Database Systems
PODS-1991, 1991.

@proceedings{PODS-1991,
	acmid         = "113413",
	address       = "Denver, Colorado, USA",
	editor        = "Daniel J. Rosenkrantz",
	isbn          = "0-89791-430-9",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 10th Symposium on Principles of Database Systems}",
	year          = 1991,
}

Contents (30 items)

8 ×#query
6 ×#database
6 ×#on the
4 ×#bound
4 ×#datalog
4 ×#logic programming
4 ×#source code
2 ×#constraints
2 ×#deduction
2 ×#detection

PODS-1991-HillebrandKMV #bound #datalog #tool support

Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.

PODS-1991-AfratiCY #datalog #on the #polynomial

On Datalog vs. Polynomial Time (FNA, SSC, MY), pp. 13–25.

PODS-1991-Vadaparty #on the #power of #rule-based #set

On the Power of Rule-Based Languages with Sets (KVV), pp. 26–36.

PODS-1991-ImmermanPS #finite #product line #set

The Expressiveness of a Family of Finite Set Languages (NI, SP, DWS), pp. 37–52.

PODS-1991-Garcia-MolinaS #nondeterminism #queue

Non-Deterministic Queue Operations (HGM, KS), pp. 53–62.

PODS-1991-KrishnakumarB #bound

Bounded Ignorance in Replicated Systems (NK, AJB), pp. 63–74.

PODS-1991-JohnsonR #bound #consistency #protocol #replication

A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.

PODS-1991-WangPH #database #modelling

Modeling Hot Spots In Database Systems (WhW, EP, MH), pp. 82–91.

PODS-1991-Ross #composition #logic programming #recursion #source code

Modular Acyclicity and Tail Recursion in Logic Programs (KAR), pp. 92–101.

PODS-1991-LakshmananH #database #deduction #framework #optimisation #query #semantics

Structural Query Optimization — A uniform Framework for Semantic Query Optimization in Deductive Databases (LVSL, HJH), pp. 102–114.

PODS-1991-Chaudhuri #detection #evaluation #query #tuple

Detecting Redundant Tuples During Query Evaluation (SC), pp. 115–126.

PODS-1991-MumickP #bound #linear #query

Overbound and Right-Linear Queries (ISM, HP), pp. 127–141.

PODS-1991-Tsur #database #deduction

Deductive Databases in Action (ST), pp. 142–153.

PODS-1991-GangulyGZ #logic programming

Minimum and Maximum Predicates in Logic Programming (SG, SG, CZ), pp. 154–163.

PODS-1991-Matsliach #analysis #multi #performance

Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves with Partial Expansions (GM), pp. 164–180.

PODS-1991-HelmMO #constraints #database #optimisation #query

Constraint-Based Query Optimization for Spatial Databases (RH, KM, MO), pp. 181–191.

PODS-1991-NurmiS

Uncoupling Updating and Rebalancing in Chromatic Binary Search Trees (ON, ESS), pp. 192–198.

PODS-1991-Jakobsson #algorithm #transitive

Mixed-Approach Algorithms for Transitive Closure (HJ), pp. 199–205.

PODS-1991-Ross91a #on the

On Negation in HiLog (KAR), pp. 206–215.

PODS-1991-SohnG #detection #logic programming #source code #termination #using

Termination Detection in Logic Programs using Argument Sizes (KS, AVG), pp. 216–226.

PODS-1991-BrodskyS #constraints #difference #logic programming #source code

Inference of Inequality Constraints in Logic Programs (AB, YS), pp. 227–240.

PODS-1991-SeibL #datalog #source code

Parallelizing Datalog Programs by Generalized Pivoting (JS, GL), pp. 241–251.

PODS-1991-MalvestutoMR #2d #information management #statistics

Suppressing Marginal Cells to Protect Sensitive Information in a Two-Dimensional Statistical Table (FMM, MM, MR), pp. 252–258.

PODS-1991-Roy #clustering #complexity #independence #query #relational #semantics

Semantic Complexity of Classes of Relational Queries and Query Independent Data Partitioning (SR), pp. 259–267.

PODS-1991-SeshadriN #datalog #on the #query #recursion

On the Expected Size of Recursive Datalog Queries (SS, JFN), pp. 268–279.

PODS-1991-BaudinetNW #infinity #on the #query #representation

On the Representation of Infinite Temporal Data and Queries (MB, MN, PW), pp. 280–290.

PODS-1991-BusscheP #power of

The Expressive Power of Structured Values in Pure OODB’s (JVdB, JP), pp. 291–299.

PODS-1991-BeeriM #type system

Subtyping in OODB’s (CB, TM), pp. 300–314.

PODS-1991-GrumbachV #database #query

Tractable Query Languages for Complex Object Databases (SG, VV), pp. 315–327.

PODS-1991-HullY #database #equivalence #identifier #on the

On the Equivalence of Database Restructurings Involving Object Identifiers (RH, MY), pp. 328–340.