Automatic high-quality reengineering of database programs by temporal abstraction | IEEE Conference Publication | IEEE Xplore