Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations - Lajos Nagy - Livres - VDM Verlag - 9783639068542 - 12 août 2008
Si la couverture et le titre ne correspondent pas, le titre est correct.

Typing Polymorphic Relational Operators: Extending a Functional Language Core with Polymorphic Record Operations

Prix
€ 51,49

Commandé depuis un entrepôt distant

Livraison prévue 12 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

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.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 12 août 2008
ISBN13 9783639068542
Éditeurs VDM Verlag
Pages 120
Dimensions 150 × 220 × 10 mm   ·   172 g
Langue et grammaire Anglais