Verifying Semistructured Data Normalization Using PVS.
Scott Uk-Jin LeeJing SunGillian DobbieLindsay GrovesPublished in: ICECCS (2008)
Keyphrases
- semistructured data
- regular expressions
- semi structured
- data model
- structured data
- query language
- xml schema
- semistructured databases
- heterogeneous data
- database systems
- raw data
- model checking
- theorem proving
- inconsistent information
- tree patterns
- database
- information extraction
- xml documents
- relational databases
- high level
- website
- regular path queries
- multimedia