Each instance tuple of the implying input key (if given) implies the presence of an instance tuple of the implied input key consisting of elements of the original tuple at given positions.
When the input key is null, it is not an input constraint but some other source that implies input keys.