内容

目次

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.