Well-Definedness, Semantic Type-Checking for Nested Relational Calculus (2006) [pdf]legacy.cs.indiana.edu2 pointstosh2 years ago