LINGUSQL : A VERIFICATION AND TRANSFORMATION TOOL FOR DATABASE APPLICATION

Lingu is an experimental abstract language for programming database scripting. This language includes verification and validation as an integral part of its programming. The verification and validation ensures the application is capable to be used in critical operation. The programming of Lingu itself does not produces a working code, instead it produce an abstract code that describes program logic. This abstract language is transformed into a concrete language, such as C or Java, intended to be used in real operation. This paper discuss about the development of LinguSQL. LinguSQL is a tool for verifying and transforming Lingu script. Currently the development of LinguSQL is in prototyping phase. We hope that the prototype will provide a clear guidance in further development.