Extending Abstract Interpretation to Dependency Analysis of Database Applications.
Angshuman JanaRaju HalderKalahasti Venkata AbhishekhSanjeevini Devi GanniAgostino CortesiPublished in: IEEE Trans. Software Eng. (2020)
Keyphrases
- database applications
- dependency analysis
- abstract interpretation
- termination analysis
- database management systems
- database technology
- static analysis
- object oriented
- active databases
- database design
- databases
- active rules
- model checking
- database server
- database
- ontology driven
- sql server
- database systems
- reasoning engine
- visual basic
- dynamic analysis
- data management
- database development
- graphical interfaces
- information entropy
- oracle database
- data analysis
- data model
- knowledge management
- data modeling
- relational model
- case study
- business process