Efficient Top-k Query Evaluation on Probabilistic Data | Synapse