Rewrite based Verification of XML Updates
Florent JacquemardMichaël RusinowitchPublished in: CoRR (2009)
Keyphrases
- xml views
- query rewriting
- update operations
- xml documents
- xml data
- xml queries
- xml databases
- metadata
- relational databases
- markup language
- xml format
- data exchange
- data integration
- databases
- xml schema
- semi structured data
- signature verification
- data transformation
- data retrieval
- object oriented databases
- data model
- query optimization
- model checking
- document centric
- semi structured
- query answering
- xpath queries
- spatial databases
- xml retrieval
- face verification
- formal verification
- conjunctive queries
- document structure
- object oriented
- view maintenance
- query processing
- database