12. PODS 1993: Washington, D.C.

@proceedings{DBLP:conf/pods/93,
  title     = {Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 25-28, 1993, Washington,
               DC},
  publisher = {ACM Press},
  year      = {1993},
  isbn      = {0-89791-593-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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