Intuitionistic Data Exchange.

Gösta Grahne Ali Moallemi Adrian Onet

Published in: AMW (2015)

Keyphrases

data exchange
query answering
data management
data integration
schema mappings
theorem prover
classical logic
closed world
fuzzy numbers
xml schema
digital campus
databases
knowledge discovery
data warehouse