Keyphrases
- relational databases
- specification language
- sequence diagrams
- uml diagrams
- formal methods
- object oriented
- state machine
- databases
- database design
- functional dependencies
- database
- unified modeling language
- relational data
- conceptual modeling
- conceptual schema
- uml models
- software design
- formal specification
- modeling language
- activity diagrams
- normal form
- conceptual models
- software systems
- metamodel
- sql queries
- relational model
- uml class diagrams
- physical database design
- tool support
- intermediate representation
- database schema
- high level
- software engineering
- petri net
- xml schema
- keyword search
- user defined
- conceptual model
- constraint language
- data model
- requirements specification
- class diagram
- database systems
- object oriented modeling
- relational database systems
- information systems