Static analysis of schema-mappings ensuring oblivious termination.
Bruno MarnetteFloris GeertsPublished in: ICDT (2010)
Keyphrases
- static analysis
- schema mappings
- data exchange
- data integration
- dynamic analysis
- database schema
- source code
- query answering
- regular expressions
- xml schema
- high level specifications
- finite sets
- xml data exchange
- data model
- data complexity
- active rules
- case study
- databases
- pattern matching
- test suite
- training data
- artificial intelligence
- database