Proving a core code for FDM correct by 2 + dw tests.

Magne Haveraaen

Published in: ARRAY@PLDI (2018)

Keyphrases

data warehouse
short list
case study
similarity measure
source code
data warehousing
real time
data mining
information retrieval
artificial intelligence
database systems
query processing
test data