This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Database Programming Languages, DBPL-6, held in Estes Park, Colorado, USA, in August 1997. The 20 revised full papers presented have gone through two rounds of reviewing and selection. Also included are two invited talks, the transcription of a panel discussion and an introductory survey by the volume editors. The papers address all current aspects of database programming languages, in particular spatial databases, typing, query languages for new applications, views, expressive power, aggregate queries, cooperative work, and transactions.
Author(s): Jan Paredaens, Bart Kuijpers, Gabriel Kuper (auth.), Sophie Cluet, Rick Hull (eds.)
Series: Lecture Notes in Computer Science 1369
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 434
Tags: Database Management; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters
Euclid, Tarski, and Engeler encompassed....Pages 1-24
Functional programming: An angry half-dozen....Pages 25-34
Panel session: Metadata for database interoperation....Pages 35-37
dedale , a spatial constraint database....Pages 38-59
Degrees of monotonicity of spatial transformations....Pages 60-77
Constrained matching is type safe....Pages 78-96
Existentially quantified procedures: A mechanism for abstracting type in dynamic typing constructs....Pages 97-117
Querying sequence databases with transducers....Pages 118-135
A structure-based approach to querying semi-structured data....Pages 136-159
VQL: A query language for multiversion databases....Pages 160-179
Object views and database restructuring....Pages 180-201
Implementing incremental view maintenance in nested data models....Pages 202-221
Incremental recomputation of recursive queries with nested sets and aggregate functions....Pages 222-238
Towards a language for the fully generic queries....Pages 239-259
On the power of aggregation in relational query languages....Pages 260-280
Datalog and description logics: Expressive power....Pages 281-298
Formal foundations for optimising aggregation functions in database programming languages....Pages 299-318
Querying multidimensional databases....Pages 319-335
Integrating organisational and transactional aspects of cooperative activities....Pages 336-354
Business conversations: A high-level system model for agent coordination....Pages 355-372
Transaction datalog: A compositional language for transaction programming....Pages 373-395
Automatic verification of transactions on an object-oriented database....Pages 396-412
Static analysis of transactions for conservative multigranularity locking....Pages 413-430
