A PVS Approach to Verifying ORA-SS Data Models.
Scott Uk-Jin LeeGillian DobbieJing SunLindsay GrovesPublished in: SEKE (2006)
Keyphrases
- data model
- databases
- model checking
- timed automata
- formal verification
- database systems
- query language
- database design
- relational model
- theorem proving
- data integration
- object model
- data modeling
- data types
- database integration
- xml schema
- database management systems
- data sources
- object oriented
- database
- business processes
- xml data
- data management
- bayesian networks
- knowledge base
- data mining
- integrity constraints
- conceptual model
- complex objects
- relational algebra
- search engine