A Theory of Data Dependencies over Relational Expressions