000 05335nam a22006975i 4500
001 978-3-540-75987-4
003 DE-He213
005 20240730195151.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540759874
_9978-3-540-75987-4
024 7 _a10.1007/978-3-540-75987-4
_2doi
050 4 _aQA76.9.D35
050 4 _aQ350-390
072 7 _aUMB
_2bicssc
072 7 _aGPF
_2bicssc
072 7 _aCOM021000
_2bisacsh
072 7 _aUMB
_2thema
072 7 _aGPF
_2thema
082 0 4 _a005.73
_223
082 0 4 _a003.54
_223
245 1 0 _aDatabase Programming Languages
_h[electronic resource] :
_b11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers /
_cedited by Marcelo Arenas, Michael I. Schwartzbach.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aVIII, 264 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4797
505 0 _aInvited Talk -- XML Publishing: Bridging Theory and Practice -- Algorithms -- Efficient Algorithms for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query Languages -- A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents -- Conjunctive Query Containment over Trees -- A Better Semantics for XQuery with Side-Effects -- Inconsistency Handling -- Repairing Inconsistent XML Write-Access Control Policies -- On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints -- Data Provenance -- Relational Completeness of Query Languages for Annotated Databases -- Provenance as Dependency Analysis -- Emerging Data Models -- A Theory of Stream Queries -- Querying Structural and Behavioral Properties of Business Processes -- Efficient Evaluation of HAVING Queries on a Probabilistic Database -- Type Checking -- Succinctness of Pattern-Based Schema Languages for XML -- Analysis of Imperative XML Programs -- Efficient Inclusion for a Class of XML Types with Interleaving and Counting -- Towards Practical Typechecking for Macro Tree Transducers.
520 _aThis volume contains the proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007), held in Vienna, Austria, on September 23-24, 2007. DBPL 2007 was one of 15 meetings co-located with VLDB (the International Conference on Very Large Data Bases). DBPLcontinues to presentthe verybest workat the intersectionof database and programming language research. The proceedings include a paper based on the invited talk by Wenfei Fan and the 16 contributed papers that were selected by the programcommittee from 41 submissions. Every submission was reviewed by at least three members of the program committee. In addition, the program committee sought the opinions of additional referees, selected because of their expertise on particular topics. The ?nal selection of papers was made during the last week of July. We would like to thank all of the authors who submitted papers to the c- ference, and the members of the program committee for their excellent work. The program committee did not meet in person, but carried out extensive d- cussions during the electronic PC meeting. We are grateful to Andrei Voronkov for his EasyChair system that made it so easy to manage these discussions. Finally, we would also like to thank Christoph Koch and Gavin Bierman for their assistance and sound counsel, and the organizers of VLDB 2007 for taking care of the local organization of DBPL.
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aCompilers (Computer programs).
_93350
650 0 _aDatabase management.
_93157
650 0 _aInformation storage and retrieval systems.
_922213
650 0 _aApplication software.
_9159350
650 0 _aInformation retrieval.
_910134
650 0 _aComputer architecture.
_93513
650 1 4 _aData Structures and Information Theory.
_931923
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aDatabase Management.
_93157
650 2 4 _aInformation Storage and Retrieval.
_923927
650 2 4 _aComputer and Information Systems Applications.
_9159351
650 2 4 _aData Storage Representation.
_931576
700 1 _aArenas, Marcelo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159352
700 1 _aSchwartzbach, Michael I.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9159353
710 2 _aSpringerLink (Online service)
_9159354
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540759867
776 0 8 _iPrinted edition:
_z9783540845409
830 0 _aInformation Systems and Applications, incl. Internet/Web, and HCI,
_x2946-1642 ;
_v4797
_9159355
856 4 0 _uhttps://doi.org/10.1007/978-3-540-75987-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95504
_d95504