Typing Polymorphic Relational Operators (Paperback) (ISBN-13: 9783639068542)

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.

Author: Lajos Nagy
ISBN-10: 3639068548
ISBN-13: 9783639068542
Publisher: VDM Verlag Dr. Mueller E.K.
Language: English
Published: 08/12/2008
Pages: 120
Format: Paperback
Weight: 0.38lbs
Size: 9.00h x 6.00w x 0.25d