• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Typing Polymorphic Relational Operators

Typing Polymorphic Relational Operators

Paperback

General Computers

ISBN10: 3639068548
ISBN13: 9783639068542
Publisher: Blues Kids Of Amer
Published: Aug 12 2008
Pages: 120
Weight: 0.38
Height: 0.25 Width: 6.00 Depth: 9.00
Language: English
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.

Also in

General Computers