LEADER 04477nam 2200613 450 001 996465813603316 005 20220511132641.0 010 $a3-540-75987-5 024 7 $a10.1007/978-3-540-75987-4 035 $a(CKB)1000000000490489 035 $a(SSID)ssj0000317127 035 $a(PQKBManifestationID)11274468 035 $a(PQKBTitleCode)TC0000317127 035 $a(PQKBWorkID)10286623 035 $a(PQKB)11580870 035 $a(DE-He213)978-3-540-75987-4 035 $a(MiAaPQ)EBC336931 035 $a(MiAaPQ)EBC4975780 035 $a(MiAaPQ)EBC6708889 035 $a(Au-PeEL)EBL336931 035 $a(OCoLC)808680479 035 $a(Au-PeEL)EBL6708889 035 $a(PPN)123728800 035 $a(EXLCZ)991000000000490489 100 $a20220511d2007 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aDatabase programming languages $e11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, revised selected papers /$fMarcelo Arenas, Michael I. Schwartzbach (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer-Verlag,$d[2007] 210 4$d©2007 215 $a1 online resource (VIII, 264 p.) 225 1 $aLecture notes in computer science ;$v4797 300 $aIncludes index. 311 $a3-540-75986-7 327 $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. 330 $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. 410 0$aLecture notes in computer science ;$v4797. 606 $aDatabase management$vCongresses 615 0$aDatabase management 676 $a005.74 702 $aArenas$b Marcelo 702 $aSchwartzbach$b Michael I. 712 12$aInternational Symposium on Database Programming Languages 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465813603316 996 $aDatabase Programming Languages$9772726 997 $aUNISA