Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract.

Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren

Browse the full ICDT paper archive.