This product is currently not available for purchase.


Typing Polymorphic Relational Operators. Edition No. 1

  • ID: 1903318
  • August 2008
  • 120 Pages
  • VDM Publishing House
1 of 3

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.

Note: Product cover images may vary from those shown
2 of 3

Lajos Nagy.
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.

Note: Product cover images may vary from those shown
3 of 3
Note: Product cover images may vary from those shown


If you have a more general question about our products please try our


Our Clients

  • Intel Corporation
  • Autodesk, Inc.
  • Hewlett-Packard Company
  • Ahlstrom Corporation
  • SAP SE
  • 3M Company
  • Samsung Electronics Co., Ltd.