Relaxed notions of schema mapping equivalence revisited.
Reinhard PichlerEmanuel SallingerVadim SavenkovPublished in: ICDT (2011)
Keyphrases
- logical equivalence
- schema mappings
- data exchange
- np complete
- data integration
- proof theory
- default theories
- query answering
- database schema
- conjunctive queries
- data complexity
- np hard
- xml schema
- optimal solution
- high level declarative
- schema matching
- high level specifications
- business intelligence
- data management
- answering queries
- finite sets
- data sources
- source to target tuple generating dependencies
- xml data exchange