Well-Definedness, Semantic Type-Checking for Nested Relational Calculus (2006) [pdf] | Heykuki News