Formal Verification of Semistructured Data Models in PVS.
Scott Uk-Jin LeeGillian DobbieJing SunLindsay GrovesPublished in: J. Univers. Comput. Sci. (2009)
Keyphrases
- formal verification
- semi structured
- data model
- model checking
- semistructured data
- relational model
- query language
- database systems
- model checker
- automated verification
- databases
- data integration
- object oriented
- data extraction
- web data
- xml data
- semi structured data
- data sources
- bounded model checking
- relational algebra
- conceptual model
- tree structured patterns
- semistructured documents
- database
- xml documents
- web data sources
- structured data
- temporal logic
- query processing
- machine learning
- semistructured databases
- data sets