Data-intensive XQuery debugging with instant replay

Authors:
Torsten Grust;Jan Rittinger;Jens Teubner
Affiliations:
Technische Universität München, Munich, Germany;Technische Universität München, Munich, Germany;Technische Universität München, Munich, Germany
Venue:
XIME-P '07 Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives
Year:
2007

Citing 8
Cited 1

Debugging concurrent programs

ACM Computing Surveys (CSUR)
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Accelerating XPath location steps

Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Practical aspects of declarative debugging in Haskell 98

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Relational queries over program traces

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MonetDB/XQuery: a fast XQuery processor powered by a relational engine

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
XMark: a benchmark for XML data management

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
XQuery on SQL hosts

VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30

Observing SQL queries in their natural habitat

ACM Transactions on Database Systems (TODS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We explore the design and implementation of Rover, a postmortem debugger for XQuery. Rather than being based on the traditional breakpoint model, Rover acknowledges XQuery's nature as a functional language: the debugger follows a declarative debugging paradigm in which a user is enabled to observe the values of selected XQuery subexpressions. Rover has been designed to hook into Pathfinder, an XQuery compiler that emits relational algebra plans for evaluation on commodity relational database back-ends. The debugger instruments the subject query with fn:trace() calls which, at query runtime, populate database tables with relational representations of XQuery item sequences. Thanks to Pathfinder's loop-lifting compilation strategy, a Rover trace (1) may span multiple XQuery for iteration scopes and (2) allows for interactive debugging sessions that can arbitrarily replay iterations in a unique forward/backward fashion. Since the query runtime as well as the debugger are database-supported, Rover is scalable and supports the observation of very data-intensive XQuery expressions.