Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/714
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.contributor.authorWaller, Emmanuel-
dc.date.accessioned2005-04-12T08:16:22Z-
dc.date.available2005-04-12T08:16:22Z-
dc.date.issued2002-
dc.identifier.citationJournal of Computer and System Sciences, 64(3). p. 694-718-
dc.identifier.issn0022-0000-
dc.identifier.urihttp://hdl.handle.net/1942/714-
dc.description.abstractWe give a polymorphic account of the relational algebra. We introduce a formalism of "type formulas" specifically tuned for relational algebra expressions, and present an algorithm that computes the "principal" type for a given expression. The principal type of an expression is a formula that specifies, in a clear and concise manner, all assignments of types (sets of attributes) to relation names, under which a given relational algebra expression is well-typed, as well as the output type that expression will have under each of these assignments. Topics discussed include complexity and polymorphic expressive power.-
dc.format.extent232634 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherElsevier-
dc.titlePolymorphic type inference for the relational algebra-
dc.typeJournal Contribution-
dc.identifier.epage718-
dc.identifier.issue3-
dc.identifier.spage694-
dc.identifier.volume64-
local.bibliographicCitation.jcatA1-
local.type.refereedRefereed-
local.type.specifiedArticle-
dc.bibliographicCitation.oldjcatA1-
dc.identifier.doi10.1006/jcss.2001.1812-
dc.identifier.isi000176291700009-
item.fulltextWith Fulltext-
item.contributorVAN DEN BUSSCHE, Jan-
item.contributorWaller, Emmanuel-
item.fullcitationVAN DEN BUSSCHE, Jan & Waller, Emmanuel (2002) Polymorphic type inference for the relational algebra. In: Journal of Computer and System Sciences, 64(3). p. 694-718.-
item.accessRightsClosed Access-
item.validationecoom 2003-
crisitem.journal.issn0022-0000-
crisitem.journal.eissn1090-2724-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
polymorphic.pdf227.18 kBAdobe PDFView/Open
Show simple item record

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.