Information technology — Database languages — SQL Technical Reports - SQL with Routines and types using the Java^TM programming language