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.
Abstract Program Slicing of Database Query Languages
HALDER, RAJU;CORTESI, Agostino
2013-01-01
Abstract
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
158_1388.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Accesso chiuso-personale
Dimensione
727.18 kB
Formato
Adobe PDF
|
727.18 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
