Validating ORA-SS Data Models using Alloy.
Lin WangGillian DobbieJing SunLindsay GrovesPublished in: ASWEC (2006)
Keyphrases
- data model
- databases
- query language
- database systems
- object oriented
- data integration
- relational model
- data types
- database design
- database management systems
- data modeling
- data sources
- database
- object model
- xml documents
- mechanical properties
- relational algebra
- conceptual model
- room temperature
- machine learning
- real world
- metamodel
- search engine
- website
- information processing
- database integration
- expert systems
- evolutionary algorithm