SPIDE: sybil-proof, incentivized data exchange.

Rafal Skowronski Jerzy Brzezinski

Published in: Clust. Comput. (2022)

Keyphrases

data exchange
query answering
data integration
schema mappings
data management
theorem prover
theorem proving
np complete
closed world
xml schema
peer data management systems
conp complete
proof theory
answering queries
database schema
database
conjunctive queries
object oriented