The question of which dependencies can be added to the language of First Order Logic (with Team Semantics) without increasing its expressive power is still open.

I will discuss a partial answer to this problem for the case of downwards closed dependencies.