Using a branch of mathematics known as tuple calculus, he demonstrated that such a system could support all the operations of normal databases (inserting, updating etc.
What type of math was used to create a system to find data sets?
tuple calculus