Scalable Verification for Outsourced Dynamic Databases.

HweeHwa Pang Jilian Zhang Kyriakos Mouratidis

Published in: Proc. VLDB Endow. (2009)

Keyphrases

databases
database
database systems
relational databases
knowledge discovery
third party
dynamic environments
information systems
clustering algorithm
data integration
data model
dynamically changing
model checking
database applications
service providers
data warehouse
decision trees
data mining
real world
data sets