確率変数XとYの独立性を判断する際、共分散が0であれば必ず独立であるといえるのはどのような場合か。

ストリーム処理ライブラリで、データをレコード単位ではなく、時間の区切り（ウィンドウ）ごとに処理する手法を何というか。