I did a quick experiment of to create, expand and then shrink a test database.
If the alter database <dbname> off <devicename> executed as expected
then the device name should not appear in the sp_helpdb output.
And the device size and KB free on the device in sp_helpdevice should match.
And database should not appear on the list.
See the attachment for details of commands I executed.
I tested this with ASE 16, with following for @@version
Adaptive Server Enterprise/16.0 GA PL02/EBF 22662 SMP/P/RS6000/AIX 6.1....
HTH
Avinash
