Moshe Y. Vardi, Paris C. Kanellakis
Proceedings of the 11th Symposium on Principles of Database Systems
PODS-1992, 1992.

@proceedings{PODS-1992,
	acmid         = "137097",
	address       = "San Diego, California, USA",
	editor        = "Moshe Y. Vardi and Paris C. Kanellakis",
	isbn          = "0-89791-519-4",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 11th Symposium on Principles of Database Systems}",
	year          = 1992,
}

Contents (33 items)

7 ×#query
4 ×#database
3 ×#complexity
3 ×#constraints
3 ×#datalog
3 ×#on the
3 ×#semantics
3 ×#source code
2 ×#algorithm
2 ×#approach

PODS-1992-Beeri #challenge #modelling

New Data Models and Languages — the Challenge (CB), pp. 1–15.

PODS-1992-PapadimitriouY #semantics

Tie-Breaking Semantics and Structural Totality (CHP, MY), pp. 16–22.

PODS-1992-AbiteboulCV #query

Queries Are Easier Than You Thought (Probably) (SA, KJC, VV), pp. 23–32.

PODS-1992-Greiner #learning #performance #query

Learning Efficient Query Processing Strategies (RG), pp. 33–46.

PODS-1992-Rotem #analysis #scalability

Analysis of Disk Arm Movement for Large Sequential Reads (DR), pp. 47–54.

PODS-1992-ChaudhuriV #datalog #equivalence #on the #recursion #source code

On the Equivalence of Recursive and Nonrecursive Datalog Programs (SC, MYV), pp. 55–66.

PODS-1992-LevyS #constraints #datalog

Constraints and Redundancy in Datalog (AYL, YS), pp. 67–80.

PODS-1992-Dong #datalog #query #tool support

Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.

PODS-1992-BeeriRSS #logic programming #semantics #source code

The Valid Model Semantics for Logic Programs (CB, RR, DS, SS), pp. 91–104.

PODS-1992-GrecoZG

Greedy by Choice (SG, CZ, SG), pp. 105–113.

PODS-1992-RossS #database #deduction

Monotonic Aggregation in Deductive Databases (KAR, YS), pp. 114–126.

PODS-1992-Gelder #semantics

The Well-Founded Semantics of Aggregation (AVG), pp. 127–138.

PODS-1992-RabinovichL #commit #database #fault tolerance #protocol

A Fault-Tolerant Commit Protocol for Replicated Databases (MR, EDL), pp. 139–148.

PODS-1992-WolfsonJ #algorithm #distributed #replication

Distributed Algorithms for Dynamic Replication of Data (OW, SJ), pp. 149–163.

PODS-1992-MehrotraRBKS #multi #transaction

Ensuring Transaction Atomicity in Multidatabase Systems (SM, RR, YB, HFK, AS), pp. 164–175.

PODS-1992-BeeriM #functional #programming

Functional and Predicative Programming in OODB’s (CB, TM), pp. 176–190.

PODS-1992-BusscheG

Semi-determinism (JVdB, DVG), pp. 191–201.

PODS-1992-Chan #query

Containment and Minimization of Positive Conjunctive Queries in OODB’s (EPFC), pp. 202–211.

PODS-1992-TurekSP #algorithm #concurrent #data type

Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking (JT, DS, SP), pp. 212–222.

PODS-1992-AgrawalAJ #approach #protocol #transaction

An Approach to Eliminate Transaction Blocking in Locking Protocols (DA, AEA, RJ), pp. 223–235.

PODS-1992-WongA #bound #concurrent #consistency #database #nondeterminism

Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems (MHW, DA), pp. 236–245.

PODS-1992-GrahneMR #knowledge base

Knowledgebase Transformations (GG, AOM, PZR), pp. 246–260.

PODS-1992-EiterG #complexity #knowledge base #on the

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.

PODS-1992-Chomicki #constraints #realtime

Real-Time Integrity Constraints (JC), pp. 274–282.

PODS-1992-BellNNS #database #deduction #implementation #linear #programming

Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.

PODS-1992-GinsburgW #approach #pattern matching #query #towards

Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data (SG, XSW), pp. 293–300.

PODS-1992-SrivastavaR #constraints

Pushing Constraint Selections (DS, RR), pp. 301–315.

PODS-1992-Bonner #complexity #reuse

The Complexity of Reusing and Modifying Rulebases (AJB), pp. 316–330.

PODS-1992-Meyden #complexity #order #query

The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.

PODS-1992-Ross #algebra #calculus

Relations with Relation Names as Arguments: Algebra and Calculus (KAR), pp. 346–353.

PODS-1992-GuptaM #recursion

Magic-sets Transformation in Nonrecursive Systems (AG, ISM), pp. 354–367.

PODS-1992-Morishita #multi #source code

Avoiding Cartesian Products in Programs for Multiple Joins (SM), pp. 368–379.

PODS-1992-Jakobsson #evaluation #on the #query

On Tree-Based Techniques for Query Evaluation (HJ), pp. 380–392.