Using a Database System to Implement a Debugger