Approximate Top-k Inner Product Join with a Proximity Graph