Abstract program slicing of database query languages.
Raju HalderAgostino CortesiPublished in: SAC (2013)
Keyphrases
- database query languages
- program slicing
- description languages
- fault localization
- source code
- type checking
- expressive power
- database systems
- relational algebra
- formal verification
- query language
- complex objects
- reverse engineering
- description language
- software testing
- software maintenance
- abstract data types
- aggregate functions
- user defined
- data management
- natural language
- case study