The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/12/functions-datetime.html Description:
I can't find anywhere the documentation of the SQL DATE() function which extracts the date part out of a timestamp. Please note that according to my tests, one can't use the cast operator when defining expression-based indexes, while the date(column) expression is accepted. It makes the DATE() function way more useful than one may think.