Database Programming Languages 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cluet, Sophie (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hull, Rick (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1369
• Θέματα: Data structures (Computer science).; Programming languages (Electronic computers).; Database management.; Computer logic.; Data Structures and Information Theory.; Programming Languages, Compilers, Interpreters.; Database Management.; Logics and Meanings of Programs.

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 i...

Πίνακας περιεχομένων:

• 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.