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.