commenting CR mag-thesis; TODO queries start-work-070517
authorwneuper
Tue, 06 Nov 2007 08:56:24 +0100
branchstart-work-070517
changeset 237e9e7f507f332
parent 236 7f93faac64b3
child 238 4241ad6ee759
commenting CR mag-thesis; TODO queries
admin/protocols/071030-CR-WN.data
admin/protocols/071030-CR-WN.txt
doc/CR/CLEANUP
doc/CR/CR_mag.pdf
doc/CR/CR_mag_doc.tex
doc/CR/titlepage.tex
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/admin/protocols/071030-CR-WN.data	Tue Nov 06 08:56:24 2007 +0100
     1.3 @@ -0,0 +1,61 @@
     1.4 +mysql> select * from UserLogger;
     1.5 ++---------------+----------+---------+-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------------------+--------------+---------+
     1.6 +| UserLogger_id | UserName | Session | Dialog    | Step                                  | Time                | Worksheet | Position  | FormulaFrom                                        | FormulaTo                                                        | Argument                              | Substitution| Success |
     1.7 ++---------------+----------+---------+-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------------------+--------------+---------+
     1.8 +|           903 | x        | 2       | NULL      | LO_START_SESSION                      | 2007-10-30 11:35:12 | NULL      | NULL      | NULL                                        | NULL                                                             | TODO user-url                         | NULL|       0 |
     1.9 +|           904 | x        | 2       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:35:22 | 2_0       | ([],Pbl)  | solve (1 + -1 * 2 + x = 0, x)                                    | solve (1 + -1 * 2 + x = 0, x)                                    | exp_IsacCore_Tests_1a.xml             | NULL|       1 |
    1.10 +|           905 | x        | 2       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:35:24 | 2_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.11 +|           906 | x        | 2       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:35:24 | 2_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.12 +|           907 | x        | 2       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:35:28 | 2_1       | ([],Pbl)  | solve (x + 1 = 2, x)                                        | solve (x + 1 = 2, x)                                             | exp_IsacCore_Tests_1b.xml             | NULL|       1 |
    1.13 +|           908 | x        | 2       | worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:37 | 2_1       | ([],Met)  | solve (x + 1 = 2, x)                                        | x + 1 = 2                                                        | NULL                                  | NULL|       1 |
    1.14 +|           909 | x        | 2       | worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:39 | 2_1       | ([1],Frm) | x + 1 = 2                                        | x + 1 + -1 * 2 = 0                                               | NULL                                  | NULL|       1 |
    1.15 +|           910 | x        | 2       | worksheet | UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE | 2007-10-30 11:36:54 | 2_1       | ([1],Res) | x + 1 + -1 * 2 = 0                                        | x - 1 = 0                                                        | x - 1 = 0                             | NULL|       1 |
    1.16 +|           911 | x        | 2       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:08 | 2_1       | ([2],Res) | x - 1 = 0                                        | [x = 1]                                                          | NULL                                  | NULL|       1 |
    1.17 +|           912 | x        | 2       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:08 | 2_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.18 +|           913 | x        | 2       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:14 | 2_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.19 +|           914 | x        | 2       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:37:21 | 2_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | exp_IsacCore_Tests_1c.xml             | NULL|       1 |
    1.20 +|           915 | x        | 2       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:23 | 2_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | [x = 6 / 5]                                                      | NULL                                  | NULL|       1 |
    1.21 +|           916 | x        | 2       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:23 | 2_2       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.22 +|           917 | x        | 2       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:28 | 2_2       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.23 +|           918 | x        | 2       | NULL      | UI_STOP_SESSION                       | 2007-10-30 11:37:30 | NULL      | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.24 +|           919 | htl      | 3       | NULL      | LO_START_SESSION                      | 2007-10-30 11:37:39 | NULL      | NULL      | NULL                                        | NULL                                                             | TODO user-url                         | NULL|       0 |
    1.25 +|           920 | htl      | 3       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:37:48 | 3_0       | ([],Pbl)  | solve (1 + -1 * 2 + x = 0, x)                                    | solve (1 + -1 * 2 + x = 0, x)                                    | NULL                                  | NULL|       1 |
    1.26 +|           921 | htl      | 3       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:50 | 3_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.27 +|           922 | htl      | 3       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:51 | 3_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.28 +|           923 | htl      | 3       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:54 | 3_1       | ([],Pbl)  | solve (x + 1 = 2, x)                                        | [x = 1]                                                          | NULL                                  | NULL|       1 |
    1.29 +|           924 | htl      | 3       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:54 | 3_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.30 +|           925 | htl      | 3       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:38:00 | 3_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | [x = 6 / 5]                                                      | NULL                                  | NULL|       1 |
    1.31 +|           926 | htl      | 3       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:38:00 | 3_2       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.32 +|           927 | htl      | 3       | NULL      | UI_STOP_SESSION                       | 2007-10-30 11:38:31 | NULL      | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.33 +|           928 | x        | 4       | NULL      | LO_START_SESSION                      | 2007-10-30 11:38:53 | NULL      | NULL      | NULL                                        | NULL                                                             | TODO user-url                         | NULL|       0 |
    1.34 +|           929 | x        | 4       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:39:04 | 4_0       | ([],Pbl)  | solve (1 + -1 * 2 + x = 0, x)                                    | solve (1 + -1 * 2 + x = 0, x)                                    | NULL                                  | NULL|       1 |
    1.35 +|           930 | x        | 4       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:39:06 | 4_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.36 +|           931 | x        | 4       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:39:06 | 4_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.37 +|           932 | x        | 4       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:39:08 | 4_1       | ([],Pbl)  | solve (x + 1 = 2, x)                                        | [x = 1]                                                          | NULL                                  | NULL|       1 |
    1.38 +|           933 | x        | 4       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:39:08 | 4_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.39 +|           934 | x        | 4       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:39:11 | 4_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | [x = 6 / 5]                                                      | NULL                                  | NULL|       1 |
    1.40 +|           935 | x        | 4       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:39:11 | 4_2       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.41 +|           936 | krempler | 5       | NULL      | LO_START_SESSION                      | 2007-10-30 11:39:37 | NULL      | NULL      | NULL                                        | NULL                                                             | TODO user-url                         | NULL|       0 |
    1.42 +|           937 | krempler | 5       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:40:54 | 5_0       | ([],Pbl)  | Differentiate (P = 3 * z^ 2 - 4 * z, z)                         | Differentiate (P = 3 * z ^ 2 - 4 * z, z)                         | exp_IsacCore_CalcDiff_Stein-359a.xml  | NULL|       1 |
    1.43 +|           938 | krempler | 5       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:40:57 | 5_0       | ([],Pbl)  | Differentiate (P = 3 * z^ 2 - 4 * z, z)                         | P' = -4 + 6 * z                                                  | NULL                                  | NULL|       1 |
    1.44 +|           939 | krempler | 5       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:40:57 | 5_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.45 +|           940 | krempler | 5       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:40:59 | 5_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.46 +|           941 | krempler | 5       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:41:05 | 5_1       | ([],Pbl)  | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | exp_IsacCore_CalcDiff_Stein-359b.xml  | NULL|       1 |
    1.47 +|           942 | krempler | 5       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:41:09 | 5_1       | ([],Pbl)  | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | s' = 3 * pi * z ^ 2 + -6 / z ^ 2                                 | NULL                                  | NULL|       1 |
    1.48 +|           943 | krempler | 5       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:41:09 | 5_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.49 +|           944 | krempler | 5       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:41:12 | 5_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.50 +|           945 | krempler | 5       | NULL      | UI_STOP_SESSION                       | 2007-10-30 11:41:18 | NULL      | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.51 +|           946 | x        | 6       | NULL      | LO_START_SESSION                      | 2007-10-30 11:41:26 | NULL      | NULL      | NULL                                        | NULL                                                             | TODO user-url                         | NULL|       0 |
    1.52 +|           947 | x        | 6       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:41:49 | 6_0       | ([],Pbl)  | Differentiate (P = 3 * z^ 2 - 4 * z, z)                         | Differentiate (P = 3 * z ^ 2 - 4 * z, z)                         | exp_IsacCore_CalcDiff_Stein-359a.xml  | NULL|       1 |
    1.53 +|           948 | x        | 6       | worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:41:51 | 6_0       | ([],Met)  | Differentiate (P = 3 * z^ 2 - 4 * z, z)                         | P' = d_d z (3 * z ^ 2 - 4 * z)                                   | NULL                                  | NULL|       1 |
    1.54 +|           949 | x        | 6       | worksheet | UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE | 2007-10-30 11:42:38 | 6_0       | ([1],Frm) | P' = d_d z (3 * z ^ 2 - 4 * z)                                   | P' = d_d z (3 * z ^ 2) - d_d z (4 * z)                           | P' = d_d z (3 * z ^ 2) - d_d z (4* z) | NULL|       1 |
    1.55 +|           950 | x        | 6       | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:42:59 | 6_0       | ([1],Res) | P' = d_d z (3 * z ^ 2) -d_d z (4 * z)                           | P' = -4 + 6 * z                                                  | NULL                                  | NULL|       1 |
    1.56 +|           951 | x        | 6       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:42:59 | 6_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       1 |
    1.57 +|           952 | x        | 6       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:43:02 | 6_0       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.58 +|           953 | x        | 6       | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:43:05 | 6_1       | ([],Pbl)  | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | exp_IsacCore_CalcDiff_Stein-359b.xml  | NULL|       1 |
    1.59 +|           954 | x        | 6       | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:43:09 | 6_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.60 +|           955 | x        | 6       | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:43:09 | 6_1       | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.61 +|           956 | x        | 6       | NULL      | UI_STOP_SESSION                       | 2007-10-30 11:43:57 | NULL      | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.62 +|           957 | x        | 4       | NULL      | UI_STOP_SESSION                       | 2007-10-30 11:44:27 | NULL      | NULL      | NULL                                        | NULL                                                             | NULL                                  | NULL|       0 |
    1.63 ++---------------+----------+---------+-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------------------+--------------+---------+
    1.64 +55 rows in set (0.21 sec)
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/admin/protocols/071030-CR-WN.txt	Tue Nov 06 08:56:24 2007 +0100
     2.3 @@ -0,0 +1,178 @@
     2.4 +protocol of the ISAC-meeting 
     2.5 +############################################################################
     2.6 +date of meeting: 30.11.07 
     2.7 +author:		 WN	   
     2.8 +date of writing: 30.11.07 12:00
     2.9 +attendees:	 mail
    2.10 +agenda:          check the queries
    2.11 +############################################################################
    2.12 +
    2.13 +fields and values are commented only if there is something to be checked.
    2.14 +comments give the right value and relate to line-numbers of output #1, #2, ...
    2.15 +~6 is an estimated value (meaning approximately 6)
    2.16 +! marks an apparent error in the query
    2.17 +? marks wrong values to be checked for the origin, the data logged and/or the query
    2.18 +
    2.19 +
    2.20 +[1] who has used isac ?
    2.21 +mysql> select UserName, Argument as UserUrl, Time as Begin,
    2.22 +    -> unix_timestamp((select Time from UserLogger where step='UI_STOP_SESSION' and session=ul1.session)) - unix_timestamp(ul1.time) as Duration,
    2.23 +    -> (select count(*) from UserLogger where step='LO_OPEN_WORKSHEET' and session=ul1.session) as Examples
    2.24 +    -> from UserLogger ul1
    2.25 +    -> where step='LO_START_SESSION';
    2.26 +   +----------+---------------+---------------------+----------+----------+
    2.27 +   | UserName | UserUrl       | Begin               | Duration | Examples |
    2.28 +   +----------+---------------+---------------------+----------+----------+
    2.29 +   | x        | TODO user-url | 2007-10-30 11:35:12 |      138 |        3 |
    2.30 + #2| htl      | TODO user-url | 2007-10-30 11:37:39 |       52 |        1 |
    2.31 + #3| x        | TODO user-url | 2007-10-30 11:38:53 |      334 |        1 |
    2.32 +   | krempler | TODO user-url | 2007-10-30 11:39:37 |      101 |        2 |
    2.33 +   | x        | TODO user-url | 2007-10-30 11:41:26 |      151 |        2 |
    2.34 +   +----------+---------------+---------------------+----------+----------+
    2.35 +5 rows in set (0.07 sec)
    2.36 +
    2.37 +comments:
    2.38 +?#2: 3 examples
    2.39 +?#3: 3 examples
    2.40 +
    2.41 +
    2.42 +[2] which examples has a user calculated (over all sessions) ?
    2.43 +mysql> select session, Argument as ID, FormulaTo as Example, Time as Begin,
    2.44 +    -> unix_timestamp((select Time from UserLogger where step='LO_STOP_EXAMPLE' and session=ul1.session limit 1)) - unix_timestamp(ul1.time) as Duration,
    2.45 +    -> (select Success from UserLogger where step='LO_STOP_EXAMPLE' and session=ul1.session limit 1) as Success,
    2.46 +    -> (select count(*) from UserLogger where step like 'UI_SOLVE%' and session=ul1.session limit 1) as Calc_Steps,
    2.47 +    -> (select count(*) from UserLogger where step not like 'UI_SOLVE%' and session=ul1.session limit 1) as Other_Steps
    2.48 +    -> from UserLogger ul1
    2.49 +    -> where UserName='x' and Step='LO_OPEN_WORKSHEET';
    2.50 +   +---------+--------------------------------------+------------------------------------------------------------------+---------------------+----------+---------+------------+-------------+
    2.51 +   | session | ID                                   | Example                                                          | Begin               | Duration | Success | Calc_Steps | Other_Steps |
    2.52 +   +---------+--------------------------------------+------------------------------------------------------------------+---------------------+----------+---------+------------+-------------+
    2.53 + #1| 2       | exp_IsacCore_Tests_1a.xml            | solve (1 + -1 * 2 + x = 0, x)                                    | 2007-10-30 11:35:22 |        2 |       0 |        5 |          11 |
    2.54 + #2| 2       | exp_IsacCore_Tests_1b.xml            | solve (x + 1 = 2, x)                                             | 2007-10-30 11:35:28 |       -4 |       0 |        5 |          11 |
    2.55 + #3| 2       | exp_IsacCore_Tests_1c.xml            | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | 2007-10-30 11:37:21 |     -117 |       0 |        5 |          11 |
    2.56 + #4| 4       | NULL                                 | solve (1 + -1 * 2 + x = 0, x)                                    | 2007-10-30 11:39:04 |        2 |       0 |        2 |           7 |
    2.57 + #5| 6       | exp_IsacCore_CalcDiff_Stein-359a.xml | Differentiate (P = 3 * z ^ 2 - 4 * z, z)                         | 2007-10-30 11:41:49 |       70 |       1 |        3 |           8 |
    2.58 + #6| 6       | exp_IsacCore_CalcDiff_Stein-359b.xml | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        | 2007-10-30 11:43:05 |       -6 |       1 |        3 |           8 |
    2.59 +   +---------+--------------------------------------+------------------------------------------------------------------+---------------------+----------+---------+------------+-------------+
    2.60 +6 rows in set (0.04 sec)
    2.61 +
    2.62 +comments:
    2.63 +!# ID in #4 indicates the queries problems handling a user with more than 1 session open (x has 3 examples started by ComPod in session 4 which is closed _after_ session 6 by x)
    2.64 +!# Duration
    2.65 +?# Success 1 in #2, #3
    2.66 +?# Calc_Steps 0 in #1, ~6 in #2, 1 in #3
    2.67 +?# Other _Steps ???
    2.68 +
    2.69 +[3] what did a user do during a certain session ?
    2.70 +mysql> select Dialog, Step, Time, Worksheet, Position, FormulaFrom, FormulaTo, Argument, Substitution, Success
    2.71 +    -> from UserLogger
    2.72 +    -> where Session=2
    2.73 +    -> order by Time;
    2.74 +   +-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------+--------------+---------+
    2.75 +   | Dialog    | Step                                  | Time                | Worksheet | Position  | FormulaFrom   | FormulaTo                                                        | Argument                  | Substitution | Success |
    2.76 +   +-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------+--------------+---------+
    2.77 + #1| NULL      | LO_START_SESSION                      | 2007-10-30 11:35:12 | NULL      | NULL      | NULL   | NULL                                                             | TODO user-url             | NULL         |       0 |
    2.78 + #2| exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:35:22 | 2_0       | ([],Pbl)  | solve (1 + -1 * 2 + x = 0, x)   | solve (1 + -1 * 2 + x = 0, x)                                    | exp_IsacCore_Tests_1a.xml | NULL         |       1 |
    2.79 + #3| worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:35:24 | 2_0       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       0 |
    2.80 + #4| worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:35:24 | 2_0       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       0 |
    2.81 + #5| exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:35:28 | 2_1       | ([],Pbl)  | solve (x + 1 = 2, x)   | solve (x + 1 = 2, x)                                             | exp_IsacCore_Tests_1b.xml | NULL         |       1 |
    2.82 + #6| worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:37 | 2_1       | ([],Met)  | solve (x + 1 = 2, x)   | x + 1 = 2                                                        | NULL                      | NULL         |       1 |
    2.83 + #7| worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:39 | 2_1       | ([1],Frm) | x + 1 = 2   | x + 1 + -1 * 2 = 0                                               | NULL                      | NULL         |       1 |
    2.84 + #8| worksheet | UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE | 2007-10-30 11:36:54 | 2_1       | ([1],Res) | x + 1 + -1 * 2 = 0   | x - 1 = 0                                                        | x - 1 = 0                 | NULL         |       1 |
    2.85 + #9| worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:08 | 2_1       | ([2],Res) | x - 1 = 0   | [x = 1]                                                          | NULL                      | NULL         |       1 |
    2.86 +#10| worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:08 | 2_1       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       1 |
    2.87 +#11| worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:14 | 2_1       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       0 |
    2.88 +#12| exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:37:21 | 2_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x,x) | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) | exp_IsacCore_Tests_1c.xml | NULL         |       1 |
    2.89 +#13| worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:23 | 2_2       | ([],Pbl)  | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x,x) | [x = 6 / 5]                                                      | NULL                      | NULL         |       1 |
    2.90 +#14| worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:23 | 2_2       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       1 |
    2.91 +#15| worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:28 | 2_2       | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       0 |
    2.92 +#16| NULL      | UI_STOP_SESSION                       | 2007-10-30 11:37:30 | NULL      | NULL      | NULL   | NULL                                                             | NULL                      | NULL         |       0 |
    2.93 +   +-----------+---------------------------------------+---------------------+-----------+-----------+------------------------------------------------------------------+------------------------------------------------------------------+---------------------------+--------------+---------+
    2.94 +16 rows in set (0.00 sec)
    2.95 +
    2.96 +comments:
    2.97 +?#8 2 wrong inputs before this step are not logged
    2.98 +
    2.99 +
   2.100 +[4] what did a user do during a certain example ?
   2.101 +mysql> select Dialog, Step, Time, Worksheet, Position, FormulaFrom, FormulaTo, Argument, Substitution, Success
   2.102 +    -> from UserLogger
   2.103 +    -> where Worksheet='2_1'
   2.104 +    -> order by Time;
   2.105 +  +-----------+---------------------------------------+---------------------+-----------+-----------+----------------------+----------------------+---------------------------+--------------+---------+
   2.106 +  | Dialog    | Step                                  | Time                | Worksheet | Position  | FormulaFrom          | FormulaTo            | Argument          | Substitution | Success |
   2.107 +  +-----------+---------------------------------------+---------------------+-----------+-----------+----------------------+----------------------+---------------------------+--------------+---------+
   2.108 +  | exp       | LO_OPEN_WORKSHEET                     | 2007-10-30 11:35:28 | 2_1       | ([],Pbl)  | solve (x + 1 = 2, x) | solve (x + 1 = 2, x) | exp_IsacCore_Tests_1b.xml | NULL         |       1 |
   2.109 +  | worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:37 | 2_1       | ([],Met)  | solve (x + 1 = 2, x) | x + 1 = 2            | NULL          | NULL         |       1 |
   2.110 +  | worksheet | UI_SOLVE_CALCULATE_1                  | 2007-10-30 11:35:39 | 2_1       | ([1],Frm) | x + 1 = 2            | x + 1 + -1 * 2 = 0   | NULL          | NULL         |       1 |
   2.111 +#4| worksheet | UI_SOLVE_EDIT_ACTIVE_FORMULA_COMPLETE | 2007-10-30 11:36:54 | 2_1       | ([1],Res) | x + 1 + -1 * 2 = 0   | x - 1 = 0            | x - 1 = 0          | NULL         |       1 |
   2.112 +  | worksheet | UI_SOLVE_CALCULATE_ALL                | 2007-10-30 11:37:08 | 2_1       | ([2],Res) | x - 1 = 0            | [x = 1]              | NULL          | NULL         |       1 |
   2.113 +  | worksheet | LO_STOP_EXAMPLE                       | 2007-10-30 11:37:08 | 2_1       | NULL      | NULL                 | NULL                 | NULL          | NULL         |       1 |
   2.114 +  | worksheet | UI_CLOSE_WORKSHEET                    | 2007-10-30 11:37:14 | 2_1       | NULL      | NULL                 | NULL                 | NULL          | NULL         |       0 |
   2.115 +  +-----------+---------------------------------------+---------------------+-----------+-----------+----------------------+----------------------+---------------------------+--------------+---------+
   2.116 +7 rows in set (0.02 sec)
   2.117 +
   2.118 +comments:
   2.119 +!# Worksheet is superfluous
   2.120 +?#4 2 error-input before this step have not been recorded by UserLogger
   2.121 +
   2.122 +
   2.123 +[5] how difficult are the examples ?
   2.124 +mysql> select Argument as ID, FormulaTo as Example, Success, Success-1 as Failure
   2.125 +    -> from UserLogger
   2.126 +    -> where Step='LO_OPEN_WORKSHEET'
   2.127 +    -> order by Success, Failure;
   2.128 +  +--------------------------------------+------------------------------------------------------------------+---------+---------+
   2.129 +  | ID                                   | Example                                                          | Success | Failure |
   2.130 +  +--------------------------------------+------------------------------------------------------------------+---------+---------+
   2.131 +#1| exp_IsacCore_Tests_1a.xml            | solve (1 + -1 * 2 + x = 0, x)                                    |       1 |       0 |
   2.132 +#2| exp_IsacCore_Tests_1b.xml            | solve (x + 1 = 2, x)                                             |       1 |       0 |
   2.133 +#3| exp_IsacCore_Tests_1c.xml            | solve (x / (x ^ 2 - 6 * x + 9) - 1 / (x ^ 2 - 3 * x) = 1 / x, x) |       1 |       0 |
   2.134 +#4| NULL                                 | solve (1 + -1 * 2 + x = 0, x)                                    |       1 |       0 |
   2.135 +#5| NULL                                 | solve (1 + -1 * 2 + x = 0, x)                                    |       1 |       0 |
   2.136 +#6| exp_IsacCore_CalcDiff_Stein-359a.xml | Differentiate (P = 3 * z ^ 2 - 4 * z, z)                         |       1 |       0 |
   2.137 +#7| exp_IsacCore_CalcDiff_Stein-359b.xml | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        |       1 |       0 |
   2.138 +#8| exp_IsacCore_CalcDiff_Stein-359a.xml | Differentiate (P = 3 * z ^ 2 - 4 * z, z)                         |       1 |       0 |
   2.139 +#9| exp_IsacCore_CalcDiff_Stein-359b.xml | Differentiate (s = pi * z ^ 3 + 6 / z, z)                        |       1 |       0 |
   2.140 +  +--------------------------------------+------------------------------------------------------------------+---------+---------+
   2.141 +9 rows in set (0.04 sec)
   2.142 +
   2.143 +comments:
   2.144 +correct would be:
   2.145 +   ---------+---------+
   2.146 +    Success | Failure |
   2.147 +   ---------+---------+
   2.148 +!#1       0 |       3 |
   2.149 +!#2       3 |       0 |
   2.150 +!#3       3 |       0 |
   2.151 +?#4 wrong entry steming from overlapping session (??, and exp's handled by ComPod)
   2.152 +?#5 wrong entry steming from overlapping session (??, and exp's handled by ComPod)
   2.153 +!#6       2 |       0 |
   2.154 +!#7       2 |       0 |
   2.155 +!#8 each example should be listed once
   2.156 +!#9 each example should be listed once
   2.157 +
   2.158 +
   2.159 +[6] who are the most frequent users of isac ?
   2.160 +mysql> select UserName, Argument as UserUrl,
   2.161 +    -> (select count(*) from UserLogger where step='LO_OPEN_WORKSHEET' and session=ul1.session limit 1) as Examples,
   2.162 +    -> (select Success from UserLogger where step='LO_STOP_EXAMPLE' and session=ul1.session limit 1) as Success,
   2.163 +    -> (select count(*) from UserLogger where step like 'UI_SOLVE%' and session=ul1.session limit 1) as Calc_Steps,
   2.164 +    -> (select count(*) from UserLogger where step not like 'UI_SOLVE%' and session=ul1.session limit 1) as Other_Steps
   2.165 +    -> from UserLogger ul1
   2.166 +    -> where Step='LO_START_SESSION'
   2.167 +    -> order by Examples, UserName;
   2.168 ++----------+---------------+----------+---------+------------+-------------+
   2.169 +| UserName | UserUrl       | Examples | Success | Calc_Steps | Other_Steps |
   2.170 ++----------+---------------+----------+---------+------------+-------------+
   2.171 +| htl      | TODO user-url |        1 |       0 |          2 |           7 |
   2.172 +| x        | TODO user-url |        1 |       0 |          2 |           7 |
   2.173 +| krempler | TODO user-url |        2 |       1 |          2 |           8 |
   2.174 +| x        | TODO user-url |        2 |       1 |          3 |           8 |
   2.175 +| x        | TODO user-url |        3 |       0 |          5 |          11 |
   2.176 ++----------+---------------+----------+---------+------------+-------------+
   2.177 +5 rows in set (0.00 sec)
   2.178 +
   2.179 +comments:
   2.180 +! each UserName should occur _once_
   2.181 +! add the field Session between UserUrl | Examples for counting the number of sessions the user had.
   2.182 \ No newline at end of file
     3.1 --- a/doc/CR/CLEANUP	Wed Oct 31 23:50:40 2007 +0100
     3.2 +++ b/doc/CR/CLEANUP	Tue Nov 06 08:56:24 2007 +0100
     3.3 @@ -1,3 +1,4 @@
     3.4 +rm *.brf
     3.5  rm *.toc
     3.6  rm *.out
     3.7  rm *.aux
     4.1 Binary file doc/CR/CR_mag.pdf has changed
     5.1 --- a/doc/CR/CR_mag_doc.tex	Wed Oct 31 23:50:40 2007 +0100
     5.2 +++ b/doc/CR/CR_mag_doc.tex	Tue Nov 06 08:56:24 2007 +0100
     5.3 @@ -1,6 +1,11 @@
     5.4 -\chapter{Technical Issues}
     5.5 +
     5.6 +\begin{appendix}
     5.7 +
     5.8 +\chapter{Technical Details of the User Logger}
     5.9  \label{chp:technical-documentation}
    5.10 -This chapter describes the technical issues for logging user activity and
    5.11 +This chapter describes the facility for logging user activity in detail
    5.12 +%WN071106 vielleicht wird das ComPod-interface besser gesondert dargestellt...
    5.13 +and
    5.14  further the premises to connect \sisac\ to an E-Learning application via
    5.15  a web-service.
    5.16  
    5.17 @@ -182,4 +187,7 @@
    5.18  \includegraphics[width=1.0\textwidth,keepaspectratio=true]{fig/query_6}
    5.19    \caption{Sample output of Query 6}
    5.20    \label{fig:query-6}
    5.21 -\end{figure}
    5.22 \ No newline at end of file
    5.23 +\end{figure}
    5.24 +
    5.25 +
    5.26 +\end{appendix}
     6.1 --- a/doc/CR/titlepage.tex	Wed Oct 31 23:50:40 2007 +0100
     6.2 +++ b/doc/CR/titlepage.tex	Tue Nov 06 08:56:24 2007 +0100
     6.3 @@ -56,13 +56,13 @@
     6.4  \begin{center}
     6.5  {\bf Abstract: }
     6.6  \end{center}
     6.7 -\sisac\, is a system for applied mathematics. This document is a report about the
     6.8 -work done in my master practical within the \sisac-team.
     6.9 +This document is a report about the work done in my master practical, i.e. the practical work done for my masters thesis. Thus this document is given as an appendix to the thesis to be written.
    6.10  
    6.11 -The main goal of my project was to design and implement a system for logging user
    6.12 -activity in \sisac. The second was to do a feasibility study on interaction between
    6.13 -\sisac\ and different E-Learning systems, such as CompOD or Moodle. In this case 
    6.14 -\sisac\ should be able to ask a web-service to propose the next most suitable
    6.15 +The work has been done as a sub-task within the \sisac-project at the Institute for Softwaretechnology. The \sisac-project aims at a 'transparent single-stepping system for applied mathematics'.
    6.16 +
    6.17 +The main task of my project was to design a logging facility which records user-interactions at an appropriate level of abstraction. This lead immediately to a user-logger, and provided a successful feasibility study for a general interface between \sisac\ and services for user guidance.
    6.18 +This service, ComPod developed by the Cognitive Science Section at the University of Graz, enables
    6.19 +\sisac\ to ask the service to propose the next most suitable
    6.20  example for the user.
    6.21  
    6.22  \end{titlepage}