Streaming XML Transformation Using Term Rewriting.
Alain FrischKeisuke NakanoPublished in: PLAN-X (2007)
Keyphrases
- term rewriting
- data transformation
- theorem prover
- theorem proving
- operational semantics
- xml documents
- xml data
- knuth bendix
- rewrite systems
- xml format
- data integration
- data streams
- xml databases
- markup language
- data model
- relational databases
- metadata
- xml queries
- real time
- databases
- machine learning
- labeling scheme
- video streaming
- streaming data
- object oriented databases
- xml schema
- semi structured
- xml retrieval
- logic programming