Checking Containment of Schema Mappings (Preliminary Report).
Andrea CalìRiccardo TorlonePublished in: AMW (2009)
Keyphrases
- schema mappings
- conjunctive queries
- data exchange
- data integration
- query answering
- conp complete
- database schema
- query containment
- schema evolution
- xml data exchange
- consistency checking
- data complexity
- xml schema
- high level specifications
- finite sets
- query rewriting
- high level declarative
- database
- incomplete information
- decision procedures
- data warehouse
- data sources
- data management
- description logics
- regular path queries
- query language
- data sets