


default search action
12th PODS 1993: Washington, D.C.
- Catriel Beeri:
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.