声明例程的包规范和对象类型以及带有光标的包规范必须具有实现这些例程和光标的主体声明。 在程序代码中调用例程或光标时,缺少主体会导致运行时错误。
示例(Oracle):
CREATE OR REPLACE PACKAGE ppp IS FUNCTION foo(a INT) RETURN INT; END;