• 1-800-526-8630U.S. (TOLL FREE)
  • 1-917-300-0470EAST COAST U.S.
  • +353-1-416-8900REST OF WORLD

This product is currently not available for purchase.


Typing Polymorphic Relational Operators. Edition No. 1

  • ID: 1903318
  • August 2008
  • 120 Pages
  • VDM Publishing House

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

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
Note: Product cover images may vary from those shown

Our Clients

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