Theorem for statically determinate relational databases.
Gooch, Brian.