tableName key cols
tableName source fun dep cols
tableName target fun dep cols
tableName other cols=*-K-LHS-RHS
select K,LHS,Rest from tableName
select LHS,RHS from tableName
key cols
source fun dep cols
target fun dep cols
other cols
select * from tableName1 join tableName2 on inclusion col