sql-derivative-sensitivity-analyser_install
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sql-derivative-sensitivity-analyser_install [2018/11/21 11:20] alisa [Running the analysis] |
sql-derivative-sensitivity-analyser_install [2018/12/16 14:18] alisa [Local sensitivity part] |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| cabal build | cabal build | ||
| </code> | </code> | ||
| - | is required to rebuild when files have changed. | + | is required to rebuild when files have changed. If the building starts giving error messages like |
| + | <code> | ||
| + | dist/build/banach/banach-tmp/XXXX.o: In function `c4IVe_info': | ||
| + | (.text+0x40420): undefined reference to `YYYY_zdsfromList1_info' | ||
| + | </code> | ||
| + | it is sufficient to make a formal change in the file XXXX.hs (e.g. add an empty row) to force its re-build. | ||
| If dependencies or project structure have changed, then run the configuration again. | If dependencies or project structure have changed, then run the configuration again. | ||
| Line 85: | Line 90: | ||
| </code> | </code> | ||
| where | where | ||
| - | * demo_schema.sql contains the database schema | + | * ''demo_schema.sql'' contains the database schema |
| - | * demo_query.sql contains the query | + | * ''demo_query.sql'' contains the query |
| - | * default_attacker.att (allowed to be an empty file) is the description of constraints on attributes | + | * ''default_attacker.att'' (allowed to be an empty file) is the description of constraints on attributes |
| * each table T that is used by the query needs existence of two particular files: | * each table T that is used by the query needs existence of two particular files: | ||
| * ''T.db'' contains the table data, where the entries are delimited by whitespaces, and the first row contains corresponding attribute names | * ''T.db'' contains the table data, where the entries are delimited by whitespaces, and the first row contains corresponding attribute names | ||
sql-derivative-sensitivity-analyser_install.txt · Last modified: 2019/12/07 16:03 by alisa
Page Tools
