Rewrite-based verification of XML updates.
Florent JacquemardMichaël RusinowitchPublished in: PPDP (2010)
Keyphrases
- xml views
- update operations
- query rewriting
- xml documents
- markup language
- relational databases
- xml data
- model checking
- data integration
- data exchange
- metadata
- xml schema
- data model
- xml format
- databases
- xml retrieval
- verification method
- data retrieval
- relational data
- xml databases
- query execution
- object oriented
- formal verification
- relational database systems
- extensible markup language
- keyword search
- face verification
- asynchronous circuits
- view maintenance
- data sources
- data types
- functional dependencies
- document structure
- query answering
- semi structured data
- xpath queries
- semistructured data
- xml queries
- topic maps