Well-definedness, semantic type-checking and type inference for database query languages

Stijn Vansummeren. Well-definedness, semantic type-checking and type inference for database query languages. PhD thesis, Hasselt University, Belgium, 2005. [doi]

Abstract

Abstract is missing.