Incremental Database Design using UML-B and Event-B.
Ahmed Al-BrashdiMichael J. ButlerAbdolbaghi RezazadehPublished in: IMPEX/FM&MDD (2017)
Keyphrases
- database design
- database applications
- data modeling
- database systems
- data model
- database management
- normal form
- object oriented
- entity relationship
- functional dependencies
- sql server
- relational database design
- database administrators
- data integrity
- logical design
- core concepts
- database administration
- database development
- database security
- microsoft access
- database designer
- physical database design
- software engineering
- databases
- data warehouse