a sequence of coded instructions fed into a computer, enabling it to perform specified rational and arithmetical operations on information The LOOP assertion in PL/pgSQL is accustomed to create an unconditional loop that executes a block of code regularly till a RETURN or EXIT statement terminate