Correct Program Slicing of Database Operations.
Hee Beng Kuan TanTok Wang LingPublished in: IEEE Softw. (1998)
Keyphrases
- database operations
- program slicing
- database systems
- database management systems
- database applications
- source code
- description languages
- fault localization
- formal verification
- query processing
- database server
- data structure
- databases
- data model
- database
- computer architecture
- processing units
- join operations
- management system
- data storage
- software maintenance
- main memory
- index structure
- open source