integer zu Ziffern casten (23 -> 00023)

[mwanaheri]

Ich habe hier das Problem, das im Titel beschrieben ist: Ich muss eine Integer Zahl in eine Ziffernfolge (mit initialen Nullen aufgefüllt) umwandeln. Bisher habe ich im Postgres-Handbuch noch nichts dazu gefunden. Weiß hier jemand Rat?

[quinte17]

bei mysql gibts die funktion
FORMAT(X,D) http://dev.mysql.com/doc/refman/5.1/...functions.html

bei postrgres 8.1 gibts
to_char(12, '0000') http://www.postgresql.org/docs/8.1/s...ormatting.html

greetz

[mwanaheri]

Heißen Dank, das klappt ganz wunderbar.
Jetzt weiß ich auch, unter welchem Stichpunkt ich nachsehen muss ;-)

Gruß
mwanaheri

[Christoph]

Laut SQL2-Standard ist TO_CHAR die dafür vorgesehene Funktion.
Wenn die auf Portabilität Wert legst, ist dieser Funktion also der Vorzug zu geben.

[mwanaheri]

Danke, ja. Ich nehme ohnehin Postgres. Notorisch. ;-)