请问一个work库的问题

请问一个work库的问题
work库与ieee库不同的是，ieee库在用时必须的声明，而work库可以不声明，它是每个程序都有的一个临时库，比如下面这句：
library WORK;
use WORK.COMMANDS.all;
你只要找到文件名为COMMANDS的vhdl文件运行一下，它就存在与work中了。