LEADER 04750nam  22006495  450 
001 996466354103316
005 20200701142747.0
010   $a3-540-68534-0
024 7 $a10.1007/3-540-64823-2
035   $a(CKB)1000000000234822
035   $a(SSID)ssj0000322458
035   $a(PQKBManifestationID)11234017
035   $a(PQKBTitleCode)TC0000322458
035   $a(PQKBWorkID)10288074
035   $a(PQKB)10265485
035   $a(DE-He213)978-3-540-68534-0
035   $a(PPN)155171933
035   $a(EXLCZ)991000000000234822
100   $a20121227d1998      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aDatabase Programming Languages$b[electronic resource] $e6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 /$fedited by Sophie Cluet, Rick Hull
205   $a1st ed. 1998.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998.
215   $a1 online resource (XIII, 434 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1369
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-64823-2 
327   $aEuclid, 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1369
606   $aData structures (Computer science)
606   $aProgramming languages (Electronic computers)
606   $aDatabase management
606   $aComputer logic
606   $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aData structures (Computer science).
615  0$aProgramming languages (Electronic computers).
615  0$aDatabase management.
615  0$aComputer logic.
615 14$aData Structures and Information Theory.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aDatabase Management.
615 24$aLogics and Meanings of Programs.
676   $a005.74
702   $aCluet$b Sophie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHull$b Rick$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466354103316
996   $aDatabase Programming Languages$9772726
997   $aUNISA