Simulation-based debugging of active databases | IEEE Conference Publication | IEEE Xplore