a system and algorithms for mining and maintaining closed frequent itemsets over data streams