Database Programming Languages: 6th International Workshop, Dbpl-6, Estes Park, Colorado, Usa, August 18-20, 1997

ISBN-13: 9783540648239 / Angielski / Miękka / 1998 / 434 str.

S. Cluet; R. Hull; Sophie Cluet

Opis

The papers that constitute this volume address aspects of database programming languages, including: spatial databases; typing; query languages for new applications; views; expressive power; aggregate queries; cooperative work; and transactions.

Spis treści

Euclid, Tarski, and Engeler encompassed.- Functional programming: An angry half-dozen.- Panel session: Metadata for database interoperation.- dedale, a spatial constraint database.- Degrees of monotonicity of spatial transformations.- Constrained matching is type safe.- Existentially quantified procedures: A mechanism for abstracting type in dynamic typing constructs.- Querying sequence databases with transducers.- A structure-based approach to querying semi-structured data.- VQL: A query language for multiversion databases.- Object views and database restructuring.- Implementing incremental view maintenance in nested data models.- Incremental recomputation of recursive queries with nested sets and aggregate functions.- Towards a language for the fully generic queries.- On the power of aggregation in relational query languages.- Datalog and description logics: Expressive power.- Formal foundations for optimising aggregation functions in database programming languages.- Querying multidimensional databases.- Integrating organisational and transactional aspects of cooperative activities.- Business conversations: A high-level system model for agent coordination.- Transaction datalog: A compositional language for transaction programming.- Automatic verification of transactions on an object-oriented database.- Static analysis of transactions for conservative multigranularity locking.