Relaxed Notions of Schema Mapping Equivalence Revisited.
Reinhard PichlerEmanuel SallingerVadim SavenkovPublished in: Theory Comput. Syst. (2013)
Keyphrases
- logical equivalence
- schema mappings
- data exchange
- np complete
- data integration
- proof theory
- database schema
- query answering
- default theories
- high level specifications
- conjunctive queries
- schema matching
- xml schema
- data management
- data complexity
- relational databases
- finite sets
- high level declarative
- data sets
- datalog programs
- expressive power
- data mining