====== SATQL ======


SATQL is a pattern mining language over allowing to discover sets of attributes in a relationnal database.

===== A first SATQL query =====

Let us assume one wants to find ...

The following SATQL query can be used to discover some of these sets:
<code>
FIND ...
</code>

===== Running SATQL =====

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" -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>