13. PODS 1994: Minneapolis, Minnesota

@proceedings{DBLP:conf/pods/94,
  title     = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis,
               Minnesota},
  publisher = {ACM Press},
  year      = {1994},
  isbn      = {0-89791-642-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• David Harel:
  Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). 1-3
  Electronic Edition (ACM DL) BibTeX

Access Methods & Sampling

• Christos Faloutsos, Ibrahim Kamel:
  Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension. 4-13
  Electronic Edition (ACM DL) BibTeX
• Peter J. Haas, Jeffrey F. Naughton, Arun N. Swami:
  On the Relative Cost of Sampling for Join Selectivity Estimation. 14-24
  Electronic Edition (ACM DL) BibTeX
• Sridhar Ramaswamy, Sairam Subramanian:
  Path Caching: A Technique for Optimal External Searching. 25-35
  Electronic Edition (ACM DL) BibTeX
• Ling Tony Chen, Doron Rotem:
  Optimal Response Time Retrieval of Replicated Data. 36-44
  Electronic Edition (ACM DL) BibTeX

Constraints

• Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom:
  Constraint Checking with Partial Information. 45-55
  Electronic Edition (ACM DL) BibTeX
• Peter J. Stuckey, S. Sudarshan:
  Compiling Query Constraints. 56-67
  Electronic Edition (ACM DL) BibTeX
• Kirack Sohn:
  Constraints among Argument Sizes in Logic Programs. 68-74
  Electronic Edition (ACM DL) BibTeX

Data Mining

• Rakesh Agrawal:
  Tutorial Database Mining. 75-76
  Electronic Edition (ACM DL) BibTeX
• Jyrki Kivinen, Heikki Mannila:
  The Power of Sampling in Knowledge Discovery. 77-85
  Electronic Edition (ACM DL) BibTeX

Datalog

• Surajit Chaudhuri, Phokion G. Kolaitis:
  Can Datalog be Approximated? 86-96
  Electronic Edition (ACM DL) BibTeX
• Foto N. Afrati:
  Bounded Arity Datalog (!=) Queries on Graphs. 97-106
  Electronic Edition (ACM DL) BibTeX
• Surajit Chaudhuri, Moshe Y. Vardi:
  On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. 107-116
  Electronic Edition (ACM DL) BibTeX

File Structures & Concurrency

• Kien A. Hua, Sheau-Dong Lang, Wen K. Lee:
  A Decomposition-Based Simulated Annealing Technique for Data Clustering. 117-128
  Electronic Edition (ACM DL) BibTeX
• Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi:
  Reducing Recovery Constraints on Locking based Protocols. 129-138
  Electronic Edition (ACM DL) BibTeX
• Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vashudha Krishnaswamy:
  Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions. 139-149
  Electronic Edition (ACM DL) BibTeX

Collection Types I

• Val Tannen:
  Tutorial: Languages for Collection Types. 150-154
  Electronic Edition (ACM DL) BibTeX
• Leonid Libkin, Limsoon Wong:
  New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. 155-166
  Electronic Edition (ACM DL) BibTeX

Collection Types II

• Dan Suciu, Val Tannen:
  A Query Language for NC. 167-178
  Electronic Edition (ACM DL) BibTeX
• Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht:
  A Query Language for List-Based Complex Objects. 179-189
  Electronic Edition (ACM DL) BibTeX
• Inderpal Singh Mumick, Oded Shmueli:
  Universal Finiteness and Satisfiability. 190-200
  Electronic Edition (ACM DL) BibTeX

Query Languages and Complexity

• Dan Suciu, Jan Paredaens:
  Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure. 201-209
  Electronic Edition (ACM DL) BibTeX
• Sushant Patnaik, Neil Immerman:
  Dyn-FO: A Parallel, Dynamic Complexity Class. 210-221
  Electronic Edition (ACM DL) BibTeX
• Gerd G. Hillebrand, Paris C. Kanellakis:
  Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. 222-231
  Electronic Edition (ACM DL) BibTeX

Object-Oriented Databases

• Alberto O. Mendelzon, Tova Milo, Emmanuel Waller:
  Object Migration. 232-242
  Electronic Edition (ACM DL) BibTeX
• Diego Calvanese, Maurizio Lenzerini:
  Making Object-Oriented Schemas More Expressive. 243-254
  Electronic Edition (ACM DL) BibTeX
• Atsushi Ohori, Keishi Tajima:
  A Polymorphic Calculus for Views and Object Sharing. 255-266
  Electronic Edition (ACM DL) BibTeX

Incomplete and Spatial Databases

• Thomas Eiter, Georg Gottlob, Heikki Mannila:
  Adding Disjunction to Datalog. 267-278
  Electronic Edition (ACM DL) BibTeX
• Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht:
  Towards a Theory of Spatial Database Queries. 279-288
  Electronic Edition (ACM DL) BibTeX
• Stéphane Grumbach, Jianwen Su:
  Finitely Representable Databases. 289-300
  Electronic Edition (ACM DL) BibTeX

Text Databases

• Gaston H. Gonnet:
  Tutorial: Text Dominated Databases, Theory Practice and Experience. 301-302
  Electronic Edition (ACM DL) BibTeX
• Gösta Grahne, Matti Nykänen, Esko Ukkonen:
  Reasoning about Strings in Databases. 303-312
  Electronic Edition (ACM DL) BibTeX