A deductive reasoning approach for database applications using verification conditions.
Md. Imran AlamRaju HalderJorge Sousa PintoPublished in: J. Syst. Softw. (2021)
Keyphrases
- database applications
- deductive reasoning
- database design
- database management systems
- object oriented
- database technology
- databases
- database
- database systems
- database server
- data access
- application developers
- sql server
- visual basic
- oracle database
- business applications
- knowledge representation
- database programming
- knowledge base
- visual basic database programming
- data entry
- database operations
- database development
- database access
- data structure
- natural language
- data mining
- expert systems