An integrated data model verifier with property templates.
Jaideep NijjarIvan BocicTevfik BultanPublished in: FormaliSE@ICSE (2013)
Keyphrases
- data model
- data modeling
- query language
- object oriented
- databases
- database management systems
- database systems
- relational algebra
- relational model
- database design
- data integration
- data types
- desirable properties
- xml documents
- xml data
- object model
- entity relationship
- schema evolution
- artificial intelligence
- genetic algorithm
- database
- logical data model
- semistructured data
- relational data model
- database integration
- management system
- similarity measure
- decision trees
- e learning
- computer vision
- data mining
- real world
- real time