Catriel Beeri
Proceedings of the 12th Symposium on Principles of Database Systems
PODS-1993, 1993.

@proceedings{PODS-1993,
	acmid         = "153850",
	address       = "Washington, District of Columbia, USA",
	editor        = "Catriel Beeri",
	isbn          = "0-89791-593-3",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 12th Symposium on Principles of Database Systems}",
	year          = 1993,
}

Contents (27 items)

6 ×#query
5 ×#database
5 ×#semantics
3 ×#on the
3 ×#towards
2 ×#algebra
2 ×#concurrent
2 ×#constraints
2 ×#datalog
2 ×#estimation

PODS-1993-MaierV #order

A Call to Order (DM, BV), pp. 1–16.

PODS-1993-BusscheGV #algebra #programming #relational

Reflective Programming in the Relational Algebra (JVdB, DVG, GV), pp. 17–25.

PODS-1993-Wong #normalisation #query

Normal Forms and Conservative Properties for Query Languages over Collection Types (LW), pp. 26–36.

PODS-1993-LibkinW #query #semantics

Semantic Representations and Query Languages for Or-sets (LL, LW), pp. 37–48.

PODS-1993-GrumbachM #algebra #towards

Towards Tractable Algebras for Bags (SG, TM), pp. 49–58.

PODS-1993-ChaudhuriV #optimisation #query

Optimization of Real Conjunctive Queries (SC, MYV), pp. 59–70.

PODS-1993-Revesz #on the #semantics

On the Semantics of Theory Change: Arbitration between Old and New Information (PZR), pp. 71–82.

PODS-1993-Raz #order #transaction

Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions (YR), pp. 83–96.

PODS-1993-RastogiMBKS #correctness #on the

On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.

PODS-1993-LevyMSS #datalog #equivalence #satisfiability

Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions (AYL, ISM, YS, OS), pp. 109–122.

PODS-1993-Morishita #fixpoint #source code

An Alternating Fixpoint Tailored to Magic Programs (SM), pp. 123–134.

PODS-1993-Chaudhuri #datalog #recursion

Finding Nonrecursive Envelopes for Datalog Predicates (SC), pp. 135–146.

PODS-1993-Schaerf #database

Negation and Minimality in Non-Horn Databases (MS), pp. 147–157.

PODS-1993-EiterG #aspect-oriented #complexity #database #semantics

Complexity Aspects of Various Semantics for Disjunctive Databases (TE, GG), pp. 158–167.

PODS-1993-ChenW #evaluation #query #semantics

Query Evaluation under the Well Founded Semantics (WC, DSW), pp. 168–179.

PODS-1993-Gelder #estimation #multi

Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.

PODS-1993-HaasNSS #estimation

Fixed-Precision Estimation of Join Selectivity (PJH, JFN, SS, ANS), pp. 190–201.

PODS-1993-ChomickiN #constraints #on the

On the Feasibility of Checking Temporal Integrity Constraints (JC, DN), pp. 202–213.

PODS-1993-PagelSTW #analysis #data type #performance #query #towards

Towards an Analysis of Range Query Performance in Spatial Data Structures (BUP, HWS, HT, PW), pp. 214–221.

PODS-1993-NodineGV #graph

Blocking for External Graph Searching (MHN, MTG, JSV), pp. 222–232.

PODS-1993-KanellakisRVV #constraints #modelling

Indexing for Data Models with Constraints and Classes (PCK, SR, DEV, JSV), pp. 233–243.

PODS-1993-HirstH #database #recursion

Completeness Results for Recursive Data Bases (TH, DH), pp. 244–252.

PODS-1993-Escobar-MolanoHJ #calculus #query #safety

Safety and Translation of Calculus Queries with Scalar Functions (MEM, RH, DJ), pp. 253–264.

PODS-1993-DenninghoffV #database

Database Method Schemas and Object Creation (KD, VV), pp. 265–275.

PODS-1993-WongA #approach #concurrent #semantics

Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control (MHW, DA), pp. 276–287.

PODS-1993-RastogiKS #database #strict

Strict Histories in Object-Based Database Systems (RR, HFK, AS), pp. 288–299.

PODS-1993-SchekWY #concurrent #formal method #towards

Towards a Unified Theory of Concurrency Control and Recovery (HJS, GW, HY), pp. 300–311.