12. PODS 1993: Washington, D.C.

Catriel Beeri (Ed.): Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA. ACM Press 1993, ISBN 0-89791-593-3

Invited Talk

David Maier, Bennet Vance:
A Call to Order. 1-16

Programming Methodologies

Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen:
Reflective Programming in the Relational Algebra. 17-25

Collection Types

Limsoon Wong:
Normal Forms and Conservative Properties for Query Languages over Collection Types. 26-36
Leonid Libkin, Limsoon Wong:
Semantic Representations and Query Languages for Or-sets. 37-48
Stéphane Grumbach, Tova Milo:
Towards Tractable Algebras for Bags. 49-58
Surajit Chaudhuri, Moshe Y. Vardi:
Optimization of Real Conjunctive Queries. 59-70

Knowledge Base Revision

Peter Z. Revesz:
On the Semantics of Theory Change: Arbitration between Old and New Information. 71-82

Transaction Management I

Yoav Raz:
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions. 83-96
Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz:
On Correctness of Non-serializable Executions. 97-108

Optimization of Logic Programs

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli:
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. 109-122
Shinichi Morishita:
An Alternating Fixpoint Tailored to Magic Programs. 123-134
Surajit Chaudhuri:
Finding Nonrecursive Envelopes for Datalog Predicates. 135-146

Generalized Logic Programs

Marco Schaerf:
Negation and Minimality in Non-Horn Databases. 147-157
Thomas Eiter, Georg Gottlob:
Complexity Aspects of Various Semantics for Disjunctive Databases. 158-167
Weidong Chen, David Scott Warren:
Query Evaluation under the Well Founded Semantics. 168-179

Estimation

Allen Van Gelder:
Multiple Join Size Estimation by Virtual Domains. 180-189
Peter J. Haas, Jeffrey F. Naughton, S. Seshadri, Arun N. Swami:
Fixed-Precision Estimation of Join Selectivity. 190-201

Temporal Databases

Jan Chomicki, Damian Niwinski:
On the Feasibility of Checking Temporal Integrity Constraints. 202-213

Physical Organization

Bernd-Uwe Pagel, Hans-Werner Six, Heinrich Toben, Peter Widmayer:
Towards an Analysis of Range Query Performance in Spatial Data Structures. 214-221
Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter:
Blocking for External Graph Searching. 222-232
Paris C. Kanellakis, Sridhar Ramaswamy, Darren Erik Vengroff, Jeffrey Scott Vitter:
Indexing for Data Models with Constraints and Classes. 233-243

Models and Languages

Tirza Hirst, David Harel:
Completeness Results for Recursive Data Bases. 244-252
Martha Escobar-Molano, Richard Hull, Dean Jacobs:
Safety and Translation of Calculus Queries with Scalar Functions. 253-264
Karl Denninghoff, Victor Vianu:
Database Method Schemas and Object Creation. 265-275

Transaction Management II

Man Hon Wong, Divyakant Agrawal:
Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control. 276-287
Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz:
Strict Histories in Object-Based Database Systems. 288-299
Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye:
Towards a Unified Theory of Concurrency Control and Recovery. 300-311

Last update Fri May 24 19:43:24 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page