Powiedz znajomym o tym przedmiocie:
Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations Lajos Nagy
Cena
zł 229,90
Zamówione z odległego magazynu
Przewidywana dostawa 2 - 16 paź
Otrzymuj powiadomienia o nowych wydawnictwach Lajos Nagy
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations
Lajos Nagy
The overarching goal of the current book is to pavethe road towards a comprehensive solutionto the decades old problem of integrating databasesand programming languages. For thispurpose, we propose a record calculus as an extensionof an ML-style functional programminglanguage core that is powerful enough to allow typeinference for user-defined polymorphic relationaloperators. The type system described in the bookallows the definition and typing of standardrelational operators like join, project, divide,restrict, and others in a flexible, polymorphic way.
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 12 sierpnia 2008 |
| ISBN13 | 9783639068542 |
| Wydawcy | VDM Verlag |
| Strony | 120 |
| Wymiary | 150 × 220 × 10 mm · 172 g |
| Język | Angielski |
