I want to know the answer to the following question:
Who used tuple calculus to show the functionality of databases?
All the background I'm provided with is that "Codd's solution to the necessary looping was a set-oriented language, a suggestion that would later spawn the ubiquitous SQL.". Is that enough to answer the question?