DBPL-6, 1997: Estes Park, Colorado, USA

@proceedings{DBLP:conf/dbpl/97,
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  booktitle = {DBPL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1998},
  isbn      = {3-540-64823-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Title, Editor's Foreword, Table of Contents, Author Index.
  Electronic Edition BibTeX

Invited Talks

• Jan Paredaens, Bart Kuijpers, Gabriel M. Kuper, Luc Vandeurzen:
  Eucil, Tarski, and Engler Encompassed (Preliminary Report). 1-24
  Electronic Edition BibTeX
• Philip Wadler:
  Functional Programming: An Angry Half-Dozen. 25-34
  Electronic Edition BibTeX

Panel

• Sophie Cluet, Richard C. H. Connor, Richard Hull, David Maier, Florian Matthes, Dan Suciu:
  Panel Session: Metadata for Database Interoperation. 35-37
  Electronic Edition BibTeX

Spatial Databases

• Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin:
  DEDALE, A Spatial Constraint Database. 38-59
  Electronic Edition BibTeX
• Bart Kuijpers:
  Degrees of Monotonicity of Spatial Transformations. 60-77
  Electronic Edition BibTeX

Typing

• Suad Alagic:
  Constrained Matching is Type Safe. 78-96
  Electronic Edition BibTeX
• Richard C. H. Connor:
  Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs. 97-117
  Electronic Edition BibTeX

Query Languages for New Applications

• Anthony J. Bonner, Giansalvatore Mecca:
  Querying String Databases with Transducers. 118-135
  Electronic Edition BibTeX
• Mary F. Fernandez, Lucian Popa, Dan Suciu:
  A Structure-Based Approach to Querying Semi-Structured Data. 136-159
  Electronic Edition BibTeX
• Talel Abdessalem, Geneviève Jomier:
  VQL: A Query Language for Multiversion Databases. 160-179
  Electronic Edition BibTeX

Views

• Zoé Lacroix, Claude Delobel, Philippe Brèche:
  Object Views and Database Restructuring. 180-201
  Electronic Edition BibTeX
• Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh Mumick, Kenneth A. Ross:
  Implementing Incremental View Maintenance in Nested Data Models. 202-221
  Electronic Edition BibTeX
• Leonid Libkin, Limsoon Wong:
  Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. 222-238
  Electronic Edition BibTeX

Expressive Power

• Catriel Beeri, Tova Milo, Paula Ta-Shma:
  Towards a Language for the Fully Generic Queries. 239-259
  Electronic Edition BibTeX
• Leonid Libkin, Limsoon Wong:
  On the Power of Aggregation in Relational Query Languages. 260-280
  Electronic Edition BibTeX
• Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini:
  Datalog and Description Logics: Expressive Power. 281-298
  Electronic Edition BibTeX

Aggregate Queries

• Alexandra Poulovassilis, Carol Small:
  Formal Foundations for Optimising Aggregation Functions in Database Programming Languages. 299-318
  Electronic Edition BibTeX
• Luca Cabibbo, Riccardo Torlone:
  Querying Multidimensional Databases. 319-335
  Electronic Edition BibTeX

Cooperative Work

• Frans J. Faase, Susan J. Even, Rolf A. de By, Peter M. G. Apers:
  Integrating Organisational and Transactional Aspects of Cooperative Activities. 336-354
  Electronic Edition BibTeX
• Florian Matthes:
  Business Conversations: A High-level System Model for Agent Coordination. 355-372
  Electronic Edition BibTeX

Transactions

• Anthony J. Bonner:
  Modular Composition of Transaction Programs with Deductive Databases. 373-395
  Electronic Edition BibTeX
• David Spelt, Herman Balsters:
  Automatic Verification of Transactions on an Object-Oriented Database. 396-412
  Electronic Edition BibTeX
• Giuseppe Amato, Fosca Giannotti, Gianni Mainetto:
  Static Analysis of Transactions for Conservative Multigranularity Locking. 413-430
  Electronic Edition BibTeX