A Theoretical Model of Lock-Keeper Data Exchange and its Practical Verification.

Sebastian Roschke Feng Cheng Thanh-Dien Tran Christoph Meinel

Published in: NPC (2009)

Keyphrases

data exchange
high level
model checking
database
decision support
logic programming
data integration
schema mappings
query answering