Je n'ai aucune idée de ce que DatabaseDriver
fait, mais avec JDBC "simple", il vous suffit de faire ce qui suit :
Statment stmt = connection.createStatement();
stmt.execute("set work_mem = 102400");
ResultSet rs = stmt.executeQuery("select ...");
Je n'ai aucune idée de ce que DatabaseDriver
fait, mais avec JDBC "simple", il vous suffit de faire ce qui suit :
Statment stmt = connection.createStatement();
stmt.execute("set work_mem = 102400");
ResultSet rs = stmt.executeQuery("select ...");