Non ti piace? Non importa! Puoi restituire gli articoli fino a 30 giorni
Non puoi sbagliarti con un buono regalo. Con il buono regalo, il destinatario può scegliere qualsiasi prodotto della nostra offerta.
Fino a 30 giorni per il reso
The overarching goal of the current book is to pave the roadtowards a comprehensive solution to the decades old problem ofintegrating databases and programming languages. For this purpose,we propose a record calculus as an extension of an ML-stylefunctional programming language core that is powerful enough toallow type inference for user-defined polymorphic relationaloperators. The type system described in the book allows thedefinition and typing of standard relational operators like join,project, divide, restrict, and others in a flexible, polymorphicway.