Extending Abstract Interpretation to Dependency Analysis of Database Applications. - Angshuman Jana; Raju Halder; Kalahasti Venkata Abhishekh; Sanjeevini Devi Ganni; Agostino Cortesi (IEEE Trans. Software Eng., 2020)