Formal Deadlock Elimination in an Object Oriented Conceptual Schema.
Guido DedeneMonique SnoeckPublished in: Data Knowl. Eng. (1995)
Keyphrases
- conceptual schema
- reverse engineering
- object oriented
- entity relationship
- relational databases
- conceptual modelling
- conceptual schemas
- integrity constraints
- conceptual modeling
- knowledge structures
- entity relationship diagrams
- domain knowledge
- data model
- formal specification
- database schema
- conceptual models
- database
- user interface
- xml schema
- e government
- multimedia
- information systems