filter operator

[hadrienk]

Dataset ds_1 := Dataset ds_2
[filter Component f]

• Test that f is a Component expression over the Components of ds_1 (static).
• Model interactions with other operators, such as if a filter is performed on a union, the filter gets applied on the datasets (evaluate the performance impact as well)