< Terug naar vorige pagina

Publicatie

Well-defined NRC queries can be typed

Boekbijdrage - Hoofdstuk

We study the expressive power of the static type system of the Nested Relational Calculus TeX and show that on so-called homogeneous input and output types, the TeX type system is expressively complete: every untyped but homogeneously well-defined TeX expression can be equivalently expressed by a well-typed expression. The TeX static type system hence does not limit the expressive power of the query writer.
Boek: In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman
Series: Lecture Notes in Computer Science
Volume: 8000
Pagina's: 494 - 506
ISBN:978-3-642-41659-0
Jaar van publicatie:2013
Toegankelijkheid:Open