Assertion: package | /r/HasProperty | stateful
Facets:
Source sentences:
text: If a PL/SQL package declares at least one variable, constant, or cursor, then the package is stateful; otherwise, it is stateless.
text: If the package is stateful, the instantiation includes its state.
text: Therefore, a package that is stateless when compiled at one optimization level might be stateful when compiled at a different optimization level.