procedure
A function to close the database. This will also delete the database identifier. It performs the same function as a delid command on the database identifier.
The code of the function cannot be redefined.
database.close(<database>)
The function may be called in one of two ways:
# Assume mydb is the database identifier. database.close(mydb)
or
mydb.close()