Approximately detecting duplicates for streaming data using stable bloom filters
load shedding in a data stream manager .