In a recent discussion, someone told me tuples in the modern meaning (in particular, tuples are heterogeneous: that is, different elements of a tuple can belong to different sets/have different types) first appeared in Codd's tuple calculus. I was surprised it would be so late, but searching Google Books before 1970, I can't see any clearly heterogeneous examples, and quite a few clearly homogeneous ones ("tuple of ones and zeros", "tuple of natural numbers", etc.)
Сan anybody confirm that Codd introduced heterogeneous tuples or point out an earlier appearance?