Defining Abstract Semantics for Static Dependence Analysis of Relational Database Applications.

Angshuman Jana, Raju Halder

Browse the full ICISS paper archive.