12. The method of claim 1 , wherein generating the procedural specification includes generating a computer program from the third collection, the computer program including functions or expressions to perform operations corresponding to relational expressions in respective nodes of the third collection.
13. The method of claim 12 , wherein the computer program is specified in at least one of the programming languages: Java, C, C++.