Re: type checking SQL expressions

Jean Morissette <jean.morissette666@videotron.ca>
11 Apr 2005 00:21:52 -0400

          From comp.compilers
Related articles
type checking SQL expressions jean.morissette666@videotron.ca (Jean Morissette) (2005-03-20)
Re: type checking SQL expressions gneuner2@comcast.net (George Neuner) (2005-03-24)
Re: type checking SQL expressions Brian.Inglis@SystematicSW.ab.ca (2005-03-25)
Re: type checking SQL expressions gene@abhost.us (Gene Wirchenko) (2005-03-27)
Re: type checking SQL expressions Brian.Inglis@SystematicSW.ab.ca (Brian Inglis) (2005-03-31)
Re: type checking SQL expressions jean.morissette666@videotron.ca (Jean Morissette) (2005-04-11)
Re: type checking SQL expressions gneuner2@comcast.net (George Neuner) (2005-04-16)
| List of all articles for this month |
From: Jean Morissette <jean.morissette666@videotron.ca>
Newsgroups: comp.compilers
Date: 11 Apr 2005 00:21:52 -0400
Organization: Compilers Central
References: 05-03-076 05-03-100 05-03-111 05-03-123
Keywords: SQL
Posted-Date: 11 Apr 2005 00:21:52 EDT

Thanks for your responses, but I think that you have misunderstand me.
By 'type system' I was refering to formal typing rules. By exemple,
Trigoni has defined the typing rules of OQL in this paper: ?Towards a
Formal Type System for ODMG OQL? at
http://www.dcs.bbk.ac.uk/~niki/tr497.ps


It's really easy to check the type of each node in a parse tree when
the typing rules are defined.


Best regards,
Jean

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.