Temporal Data Model for Program Debugging.
Demian Lessa, Bharat Jayaraman, Jan Chomicki · 2011
We present a novel approach to program debugging and dynamic program analysis based on a temporal data model and query language. The data model exposes a point-based view of executions, while the underlying data is represented using intervals, for efficiency reasons. The point-based query language supports selection, projection, joins, grouping/aggregation, and recursion on both data and temporal attributes. We present examples of debug and dynamic analysis queries to illustrate our approach. The main technical contribution of the paper lies in showing how to evaluate pointbased recursive queries against the interval-based data. In order to evaluate a non-recursive point-based query, it is first compiled into an interval-based query. The compilation relies on a normalization operation to preserve point-based semantics when evaluating compiled queries against interval-based data. It turns out that a straightforward extension of the compilation to handle recursion yields non-linear recursive queries with non-stratified negation. We circumvent this problem by employing a simpler compilation and introducing a normalizing immediate-consequence operator for bottom-up evaluation. We also present correctness and termination theorems for our temporal recursive query evaluation strategy. This work forms part of a larger research project in developing JIVE, a state-of-the-art dynamic analysis and visualization system for Java. 1.