Обсуждение: BUG #16419: wrong parsing BC year in to_date() function

Поиск
Список
Период
Сортировка

BUG #16419: wrong parsing BC year in to_date() function

От
PG Bug reporting form
Дата:
The following bug has been logged on the website:

Bug reference:      16419
Logged by:          Saeed Hubaishan
Email address:      dar_alathar@hotmail.com
PostgreSQL version: 12.2
Operating system:   Windows 10x64
Description:

select to_date('-1-01-01','yyyy-mm-dd');
will get 
0002-01-01 BC

Re: BUG #16419: wrong parsing BC year in to_date() function

От
"David G. Johnston"
Дата:
On Wed, May 6, 2020 at 2:58 PM PG Bug reporting form <noreply@postgresql.org> wrote:
The following bug has been logged on the website:

Bug reference:      16419
Logged by:          Saeed Hubaishan
Email address:      dar_alathar@hotmail.com
PostgreSQL version: 12.2
Operating system:   Windows 10x64
Description:       

select to_date('-1-01-01','yyyy-mm-dd');
will get
0002-01-01 BC

Yep...

select to_date('1','YYYY')::text; // Year 1 AD
select to_date('0','YYYY')::text; // Year 1 BC (there is no year zero)
select to_date('-1','YYYY')::text; // Year 2 BC

to_date tries very hard to not error - if you need to use it make sure your data conforms to the format you specify.

David J.

رد: BUG #16419: wrong parsing BC year in to_date() function

От
دار الآثار للنشر والتوزيع-صنعاء Dar Alathar-Yemen
Дата:

Any one suppose that these functions return the same:
make_date(-1,1,1)
to_date('-1-01-01','yyyy-mm-dd')

But make_date will give 0001-01-01 BC

And to_date will give 0002-01-01 BC

 

If you think this is right behavior I think this must be documented

 

من: David G. Johnston <david.g.johnston@gmail.com>
‏‏تم الإرسال: Thursday, May 7, 2020 1:45:14 AM
إلى: dar_alathar@hotmail.com <dar_alathar@hotmail.com>; PostgreSQL mailing lists <pgsql-bugs@lists.postgresql.org>
‏‏الموضوع: Re: BUG #16419: wrong parsing BC year in to_date() function

 

On Wed, May 6, 2020 at 2:58 PM PG Bug reporting form <noreply@postgresql.org> wrote:

The following bug has been logged on the website:

Bug reference:      16419
Logged by:          Saeed Hubaishan
Email address:      dar_alathar@hotmail.com
PostgreSQL version: 12.2
Operating system:   Windows 10x64
Description:       

select to_date('-1-01-01','yyyy-mm-dd');
will get
0002-01-01 BC

 

Yep...

 

select to_date('1','YYYY')::text; // Year 1 AD

select to_date('0','YYYY')::text; // Year 1 BC (there is no year zero)

select to_date('-1','YYYY')::text; // Year 2 BC

 

to_date tries very hard to not error - if you need to use it make sure your data conforms to the format you specify.

 

David J.

 

من: David G. Johnston
إرسال: ‏الخميس,‏ ‏14 ‏رمضان,‏ ‏1441 ‏01:45 ‏ص
الموضوع: Re: BUG #16419: wrong parsing BC year in to_date() function

 

On Wed, May 6, 2020 at 2:58 PM PG Bug reporting form <noreply@postgresql.org> wrote:

The following bug has been logged on the website:

Bug reference:      16419
Logged by:          Saeed Hubaishan
Email address:      dar_alathar@hotmail.com
PostgreSQL version: 12.2
Operating system:   Windows 10x64
Description:       

select to_date('-1-01-01','yyyy-mm-dd');
will get
0002-01-01 BC

 

Yep...

 

select to_date('1','YYYY')::text; // Year 1 AD

select to_date('0','YYYY')::text; // Year 1 BC (there is no year zero)

select to_date('-1','YYYY')::text; // Year 2 BC

 

to_date tries very hard to not error - if you need to use it make sure your data conforms to the format you specify.

 

David J.

 

 

Вложения

Re: BUG #16419: wrong parsing BC year in to_date() function

От
"David G. Johnston"
Дата:
‪On Wed, May 6, 2020 at 6:31 PM ‫دار الآثار للنشر والتوزيع-صنعاء Dar Alathar-Yemen‬‎ <dar_alathar@hotmail.com> wrote:‬

Any one suppose that these functions return the same:
make_date(-1,1,1)
to_date('-1-01-01','yyyy-mm-dd')

But make_date will give 0001-01-01 BC

And to_date will give 0002-01-01 BC



Interesting...and a fair point.

What seems to be happening here is that to_date is trying to be helpful by doing:

select to_date('0000','YYYY'); // 0001-01-01 BC

It does this seemingly by subtracting one from the year, making it positive, then (I infer) appending "BC" to the result.  Thus for the year "-1" it yields "0002-01-01 BC"

make_date just chooses to reject the year 0 and treat the negative as an alternative to specifying BC

There seems to be zero tests for to_date involving negative years, and the documentation doesn't talk of them.

I'll let the -hackers speak up as to how they want to go about handling to_date (research how it behaves in the other database it tries to emulate and either document or possibly change the behavior in v14) but do suggest that a simple explicit description of how to_date works in the presence of negative years be back-patched.  A bullet in the usage notes section probably suffices:

"If a YYYY format string captures a negative year, or 0000, it will treat it as a BC year after decreasing the value by one.  So 0000 maps to 1 BC and -1 maps to 2 BC and so on."

So, no, make_date and to_date do not agree on this point; and they do not have to.  There is no way to specify "BC" in make_date function so using negative there makes sense.  You can specify BC in the input string for to_date and indeed that is the only supported (documented) way to do so.

David J.

Re: BUG #16419: wrong parsing BC year in to_date() function

От
"David G. Johnston"
Дата:
On Wed, May 6, 2020 at 8:12 PM David G. Johnston <david.g.johnston@gmail.com> wrote:
It does this seemingly by subtracting one from the year, making it positive, then (I infer) appending "BC" to the result.  Thus for the year "-1" it yields "0002-01-01 BC"


Specifically:

https://github.com/postgres/postgres/blob/fb544735f11480a697fcab791c058adc166be1fa/src/backend/utils/adt/formatting.c#L236

/*
 * There is no 0 AD.  Years go from 1 BC to 1 AD, so we make it
 * positive and map year == -1 to year zero, and shift all negative
 * years up one.  For interval years, we just return the year.
 */
#define ADJUST_YEAR(year, is_interval) ((is_interval) ? (year) : ((year) <= 0 ? -((year) - 1) : (year)))

The code comment took me a bit to process - seems like the following would be better (if its right - I don't know why interval is a pure no-op while non-interval normalizes to a positive integer).

Years go from 1 BC to 1 AD, so we adjust the year zero, and all negative years, by shifting them away one year,  We then return the positive value of the result because the caller tracks the BC/AD aspect of the year separately and only deals with positive year values coming out of this macro.  Intervals denote the distance away from 0 a year is so we can simply take the supplied value and return it.  Interval processing code expects a negative result for intervals going into BC.

David J.

رد: BUG #16419: wrong parsing BC year in to_date() function

От
دار الآثار للنشر والتوزيع-صنعاء Dar Alathar-Yemen
Дата:

To make "to_date" work as "make_date" with negative years these llines:

https://github.com/postgres/postgres/blob/fb544735f11480a697fcab791c058adc166be1fa/src/backend/utils/adt/formatting.c#L4559-L4560 :

                                            if (tmfc.bc && tm->tm_year > 0)

                                                           tm->tm_year = -(tm->tm_year - 1);

must be changed to:

                                            if (tmfc.bc && tm->tm_year > 0)

                                            {

                                                           tm->tm_year = -(tm->tm_year - 1);

                                            }

                                            else if (tm->tm_year < 0) {

                                                           tm->tm_year ++;

                                             }

 

 

رد: BUG #16419: wrong parsing BC year in to_date() function

От
دار الآثار للنشر والتوزيع-صنعاء Dar Alathar-Yemen
Дата:

 

 

research how it behaves in the other database it tries to emulate and either document or possibly change the behavior in v14

As in https://stackoverflow.com/questions/6779521/how-do-i-insert-a-bc-date-into-oracle and http://rwijk.blogspot.com/2008/10/year-zero.html

In Oracle 

to_date('-4700/01/01','syyyy/mm/dd')

returns 

01/01/4700 BC

In documents https://docs.oracle.com/cd/B28359_01/olap.111/b28126/dml_commands_1029.htm#OLADM780

YEAR
SYEAR

 

Year, spelled out; S prefixes BC dates with a minus sign (-).

YYYY
SYYYY

 

4-digit year; S prefixes BC dates with a minus sign.