Proceedings of the 12th Symposium on Principles of Database Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

DATA
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.