What could Coq do for Database Software? - A Progress Report.
Yoichi HiraiReynald AffeldtPublished in: JFLA (2014)
Keyphrases
- database software
- client server
- database management
- data manipulation
- operating system
- application development
- database design
- database systems
- database applications
- business rules
- database
- design principles
- data types
- artificial intelligence
- web applications
- data processing
- database server
- databases
- relational databases
- data mining
- data integrity
- relational algebra
- visual basic
- data structure
- third party
- expert systems
- end users