Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-3-6390-6854-2 |
Объём: | 120 страниц |
Масса: | 203 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
The overarching goal of the current book is to pave the road towards a comprehensive solution to the decades old problem of integrating databases and programming languages. For this purpose, we propose a record calculus as an extension of an ML-style functional programming language core that is powerful enough to allow type inference for user-defined polymorphic relational operators. The type system described in the book allows the definition and typing of standard relational operators like join, project, divide, restrict, and others in a flexible, polymorphic way.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.