Abstract program slicing of database query languages
Raju Halder, Agostino Cortesi · 2013
In this paper, the notions of semantic relevancy of statements, semantic data dependences and conditional dependences are extended to the case of programs embedding SQL statements in both concrete and abstract domains. This allows us to refine traditional syntax-based Database-Oriented Program Dependence Graphs, yielding to a more accurate semantics-based abstract program slicing algorithm.