


default search action
DBPL-11, 2007: Vienna, Austria
- Marcelo Arenas, Michael I. Schwartzbach:
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797, Springer 2007, ISBN 978-3-540-75986-7
Invited Talk
- Wenfei Fan
:
XML Publishing: Bridging Theory and Practice. 1-16
Algorithms
- Michaela Götz, Christoph Koch, Wim Martens:
Efficient Algorithms for the Tree Homeomorphism Problem. 17-31 - Sara Cohen, Joseph Gil, Evelina Zarivach:
Datalog Programs over Infinite Databases, Revisited. 32-47
XML Query Languages
- George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens
, Sofia Brenes, Jan Paredaens:
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents. 48-65 - Henrik Björklund, Wim Martens, Thomas Schwentick:
Conjunctive Query Containment over Trees. 66-80 - Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon:
A Better Semantics for XQuery with Side-Effects. 81-96
Inconsistency Handling
- Loreto Bravo, James Cheney, Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies. 97-111 - Jef Wijsen:
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints. 112-126
Data Provenance
- Floris Geerts
, Jan Van den Bussche
:
Relational Completeness of Query Languages for Annotated Databases. 127-137 - James Cheney, Amal Ahmed, Umut A. Acar:
Provenance as Dependency Analysis. 138-152
Emerging Data Models
- Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
:
A Theory of Stream Queries. 153-168 - Daniel Deutch, Tova Milo:
Querying Structural and Behavioral Properties of Business Processes. 169-185 - Christopher Ré, Dan Suciu
:
Efficient Evaluation of. 186-200
Type Checking
- Wouter Gelade, Frank Neven
:
Succinctness of Pattern-Based Schema Languages for XML. 201-215 - Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
:
Analysis of Imperative XML Programs. 216-230 - Giorgio Ghelli, Dario Colazzo, Carlo Sartiani:
Efficient Inclusion for a Class of XML Types with Interleaving and Counting. 231-245 - Alain Frisch, Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers. 246-260

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.