The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language.
Jan FlokstraMaurice van KeulenJacek SkowronekPublished in: SIGMOD Conference (1994)
Keyphrases
- database design
- formal specification language
- temporal logic
- formal methods
- formal specification
- data modeling
- data model
- database systems
- object oriented
- database management
- functional dependencies
- database applications
- sql server
- database development
- normal form
- relational database design
- entity relationship
- database security
- database administrators
- model checking
- data integrity
- database designer
- microsoft access
- information systems
- artificial intelligence
- logical design
- database administration
- management system
- software engineering
- case study
- data mining
- relational databases
- reverse engineering
- belief revision
- relational database theory
- design process