Program slicing in the presence of database state

摘要: Program slicing has long been recognised as a valuable technique for supporting the software maintenance process. However, many programs operate over some kind of external state, well internal program state. Arguably, most significant form state is that used to store data associated with application, example, in database management system. We propose an approach both and which requires introduction two new forms dependency into standard graph. Our method expands usefulness techniques considerable number application are being maintained within industry science today.