Typing Polymorphic Relational Operators

ISBN-13: 9783639068542 / Angielski / Miękka / 2008 / 120 str.

Lajos Nagy

Opis

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.

O autorze

Nagy Lajos Lajos Nagy received his Master's degree in Computer Science from the Technical University of Budapest. After graduation he worked in the industry before moving to the United States where he received his Ph.D. in Computer Science from the Florida Institute of Technology. Currently, he works in the New York office of Google Inc.