Design of an Automatic Prover Dedicated to the Refinement of Database Applications.
Amel MammarRégine LaleauPublished in: FME (2003)
Keyphrases
- database applications
- database design
- object oriented
- database management systems
- data access
- application developers
- database systems
- databases
- physical database
- design process
- data structure
- database server
- visual basic
- database access
- database
- graphical interfaces
- user interface
- database technology
- source code
- management system
- oracle database
- business applications
- design methodology
- metadata
- database development