A random projection approach to subscription covering detection in publish/subscribe systems