A Core Calculus for Provenance.

Umut A. Acar Amal Ahmed James Cheney Roly Perera

Published in: CoRR (2013)

Keyphrases

metadata
automated deduction
databases
expert systems
real time
information retrieval
genetic algorithm
search engine
relational databases
fine grained