Correct program slicing of database operations

Program slicing-often used in software maintenance program version integration, and reverse engineering-helps isolate program components during debugging and analysis. Often, however, traditional methods struggle to correctly slice programs that involve database operations-they may not, for example be able to compute a slice that contains only those program statements suspected of affecting I/O. The authors propose a method that overcomes such limitations.