H.2.3 [Languages]: Data manipulation languages (DML), Query languages General Terms

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 Depen...

Full description

Bibliographic Details
Main Authors: Raju Halder, Agostino Cortesi
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Subjects:
Static Analysis
Abstract Interpretation
Databases Keywords Program Slicing
Query Languages
Dependence Graphs
DML
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.961
http://www.dsi.unive.it/~cortesi/paperi/SAC2013.pdf
Description
Summary: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 semanticsbased abstract program slicing algorithm.

Similar Items