From: | Joe Conway <mail(at)joeconway(dot)com> |
---|---|
To: | Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> |
Cc: | Gavin Sherry <swm(at)linuxworld(dot)com(dot)au>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, "Patches (PostgreSQL)" <pgsql-patches(at)postgresql(dot)org> |
Subject: | Re: [HACKERS] IS OF |
Date: | 2003-08-08 05:29:07 |
Message-ID: | 3F333523.7070105@joeconway.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers pgsql-patches |
Bruce Momjian wrote:
> Can someone suggest where to document IS OF, and either document it's
> non-standard behavior or supply patch?
>
Doc patch attached for IS OF. Please apply.
Thanks,
Joe
> ---------------------------------------------------------------------------
>
> Joe Conway wrote:
>
>>Gavin Sherry wrote:
>>
>>>8.14 <type predicate> to be exact.
>>>
>>
>>8.18 in SQL200x. I don't think the current implementation quite meets
>>the spec however:
>>
>>regression=# select f2 is null, f2 is of(int) from bar;
>> ?column? | ?column?
>>----------+----------
>> f | t
>> t | t
>>(2 rows)
>>
>>If I read the spec correctly, the null value should return null, not 't'
>>in the above.
>>
>>General Rules
>>1) Let V be the result of evaluating the <row value predicand>.
>>2) Let ST be the set consisting of every type that is either some
>> exclusively specified type, or a subtype of some inclusively
>> specified type.
>>3) Let TPR be the result of evaluating the <type predicate>.
>>
>>Case:
>>a) If V is the null value, then TPR is Unknown.
>>b) If the most specific type of V is a member of ST, then TPR is True .
>>c) Otherwise, TPR is False
>>
Attachment | Content-Type | Size |
---|---|---|
isof-doc.1.patch | text/plain | 3.7 KB |
From | Date | Subject | |
---|---|---|---|
Next Message | Bruce Momjian | 2003-08-08 06:10:25 | Re: threads/UnixWare |
Previous Message | Bruno Wolff III | 2003-08-08 05:20:11 | Re: Problem building contrib/array in current CVS |
From | Date | Subject | |
---|---|---|---|
Next Message | Peter Eisentraut | 2003-08-08 07:48:49 | Re: [HACKERS] IS OF |
Previous Message | Larry Rosenman | 2003-08-08 02:57:19 | Preliminary UnixWare threads stuff |