Program verification techniques for xml schema-based technologies.
Suad AlagicMark RoyerDavid BriggsPublished in: ICSOFT (2) (2006)
Keyphrases
- xml schema
- xml documents
- xml data
- integrity constraints
- semi structured documents
- extensible markup language
- regular expressions
- relational databases
- data exchange
- relational schema
- building blocks
- conceptual model
- markup language
- data mining
- object oriented
- metadata
- database
- data model
- databases
- context free grammars
- relational model
- structured data
- general purpose
- text mining
- query language