loop-statement =

  ---+-----------------------+-------------------+
     +-> <beginning-label> : +                   |
     +-------------------------------------------+
     +-> LOOP --+-> compound-use-statement -+---+
                +-------------<-------------+   |
     +------------------------------------------+
     +-> END LOOP --+------------------+->
                    +-> <ending-label> +

  compound-use-statement =

  ----+-> call-statement --------------+--> ;
      +-> commit-statement ------------+
      +-> control-statement -----------+
      +-> delete-statement ------------+
      +-> get-diagnostics-statement ---+
      +-> insert-statement ------------+
      +-> lock-table-statement --------+
      +-> rollback-statement ----------+
      +-> set-transaction-statement ---+
      +-> singleton-select-statement --+
      +-> start-transaction-statement -+
      +-> trace-statement -------------+
      +-> update-statement ------------+