On derived dependencies and connected databases

The Journal of Logic Programming | Published : 1991

DOI: 10.1016/0743-1066(91)90017-J