An efficient statically checked data(base) mapping framework