Différences

Ci-dessous, les différences entre deux révisions de la page.

--- research:satminer:satql [2014/05/12 11:35]
ecoquery [Running SATQL]
+++ research:satminer:satql [2014/05/12 15:59] (Version actuelle)
ecoquery [Running the first example]
@@ Ligne 15: / Ligne 15: @@
 ===== Running SATQL =====
-The lastest version of SATQL is included with [[research:satminer|SATMiner]]. One can directly download the executable jar file:
+The lastest version of SATQL is included with [[research:satminer|SATMiner]]. One can directly download an executable jar file: {{:research:satminer:satminer.jar|}}
 In order to execute a SATQL query, one needs to issue the following command in a cmd/shell window:
 <code>
-java -cp /path/to/satminer.jar:path/to/mydbdriver.jar dag.satmining.run.Main -satql -driver my.db.jdbc.Driver -jdbc "jdbc:mydb:mydburl?param1=val1" ...
+java -cp /path/to/satminer.jar:path/to/mydbdriver.jar dag.satmining.run.Main -satql -driver my.db.jdbc.Driver -jdbc "jdbc:mydb:mydburl?param1=val1" -i queryfile.satql
+</code>
+==== Running the first example ====
+ First one needs a database. The following script will download an [[http://h2database.com|h2 database]] engine, some data and create the corresponding database:
+<code>
+curl --url http://repo2.maven.org/maven2/com/h2database/h2/1.4.178/h2-1.4.178.jar > h2.jar
+curl --url somedata.sql > somedata.sql
+java -cp h2.jar org.h2.tools.RunScript -url jdbc:h2:example -script somedata.sql
 </code>

Emmanuel COQUERY