Implication Problems for Functional Constraints on Databases Supporting Complex Objects

Journal of Computer and System Sciences - United States
doi 10.1016/s0022-0000(05)80078-9