User Tools

Site Tools


Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/a/a1681481b10c531c386c6ef325caea47.metadata failed
magik-demo:developer:notes:magik3-tickets

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
magik-demo:developer:notes:magik3-tickets [2013/06/21 12:04]
admin
magik-demo:developer:notes:magik3-tickets [2017/07/06 15:24] (current)
Line 3: Line 3:
 ^ Task name      ^ Priority ​      ^ Description ​         ^   ​Status ​      ​^ ​ ^ Task name      ^ Priority ​      ^ Description ​         ^   ​Status ​      ​^ ​
 | Specialization algorithm ​         |  high   ​|Develop and implement an algorithm that computes all complete specializations of an incomplete query of the maximal size k. Use Prolog (TuProlog) as an implementation techique| {{:​magik-demo:​todo-red.gif|}} | | Specialization algorithm ​         |  high   ​|Develop and implement an algorithm that computes all complete specializations of an incomplete query of the maximal size k. Use Prolog (TuProlog) as an implementation techique| {{:​magik-demo:​todo-red.gif|}} |
 +| single & double quotes ​   |  high   ​|Solve the problem with double quotes in the presence of FDCs. Adjust all JUnit tests so the constants are written withint single quotes (and make test green :)) | {{:​magik-demo:​todo-red.gif|}}|
 +| Query Generalization in the presence of FDCs |  high   | Understand how one can do it and then imoplement |  {{:​magik-demo:​todo-red.gif|}}|
 +| Documentation| ​ low   | It's time to update and add some more documentation about MAGIK |  {{:​magik-demo:​todo-red.gif|}}|
 +| Often happen that there is an exception that breaks the program. I restart the server but no help. However, when I clean up the build it works ok again. And it always displays that error is in at org.apache.jsp.constraints.showQuerySuggestion_jsp._jspServic| ​ low   | Is there a way to know what is a reason. Reason is found; ad hoc solution found |  {{:​magik-demo:​done-green.gif|}}|
 +| DLV path|  low   | Evaluate some possibilities of modifying method of obtaining the path |  {{:​magik-demo:​done-green.gif|}}|
 | Generalization algorithm ​         |  high   ​|First version is running. After reasoning has been called a static var ''​TCQCReasoner.queryGeneralization''​ contains query Generalization of the last incomplete query. TODO: Generalization in the presence of FDCs. Do more tests as well.|{{:​magik-demo:​done-green.gif|}} | | Generalization algorithm ​         |  high   ​|First version is running. After reasoning has been called a static var ''​TCQCReasoner.queryGeneralization''​ contains query Generalization of the last incomplete query. TODO: Generalization in the presence of FDCs. Do more tests as well.|{{:​magik-demo:​done-green.gif|}} |
 | TC-Suggestion table   ​| ​ high   | Show TC-Suggestions and program encoding on completeness reasoning (as in CIKM). |  {{:​magik-demo:​done-green.gif|}} | | TC-Suggestion table   ​| ​ high   | Show TC-Suggestions and program encoding on completeness reasoning (as in CIKM). |  {{:​magik-demo:​done-green.gif|}} |
Line 9: Line 14:
 | Analytic table                  |  high  |Analytic table in the same page as reasoning result.| ​ {{:​magik-demo:​done-green.gif|}}| | Analytic table                  |  high  |Analytic table in the same page as reasoning result.| ​ {{:​magik-demo:​done-green.gif|}}|
 | FK & FDC for remote schemas ​    ​| ​ low   ​|Disable actions for FK and FDC for remote schemas (grayscale).| ​ {{:​magik-demo:​done-green.gif|}}| | FK & FDC for remote schemas ​    ​| ​ low   ​|Disable actions for FK and FDC for remote schemas (grayscale).| ​ {{:​magik-demo:​done-green.gif|}}|
-| single & double quotes ​   |  high   ​|Solve the problem with double quotes in the presence of FDCs. Adjust all JUnit tests so the constants are written withint single quotes (and make test green :)) | {{:​magik-demo:​todo-red.gif|}}| 
 | reading FDCc from DB schema ​   |  low   | FDCs of a remote database schemas are stored in the schema definition. We assume that FDCs are defined used ''​ENUM''​ constructor. Design a technique that retrieves FDCs from Postgres schema ​ | {{:​magik-demo:​done-green.gif|}}| | reading FDCc from DB schema ​   |  low   | FDCs of a remote database schemas are stored in the schema definition. We assume that FDCs are defined used ''​ENUM''​ constructor. Design a technique that retrieves FDCs from Postgres schema ​ | {{:​magik-demo:​done-green.gif|}}|
 | shuffling of raws in tables: TC, Query, FK, FDC    |  low   | Implement java-script into table visual representation that allows shuffling of table raws  | {{:​magik-demo:​done-green.gif|}}| | shuffling of raws in tables: TC, Query, FK, FDC    |  low   | Implement java-script into table visual representation that allows shuffling of table raws  | {{:​magik-demo:​done-green.gif|}}|
Line 19: Line 23:
 | Problems with quotes in TC-suggestions |  low   | When new TC-statement is proposed constants are printed in double quotes instead of single quotes |  {{:​magik-demo:​done-green.gif|}}| | Problems with quotes in TC-suggestions |  low   | When new TC-statement is proposed constants are printed in double quotes instead of single quotes |  {{:​magik-demo:​done-green.gif|}}|
 | Problems when TC condition is empty |  low   | When editing a TC-statement the MAGIK complains no condition is specified which is wrong |  {{:​magik-demo:​done-green.gif|}}| | Problems when TC condition is empty |  low   | When editing a TC-statement the MAGIK complains no condition is specified which is wrong |  {{:​magik-demo:​done-green.gif|}}|
-| FDC in remote mode are not included in reasoining |  low   | Even though ​ FDC are grey they should be selected in the reasoning| ​ {{:​magik-demo:​todo-red.gif|}}|+| FDC in remote mode are not included in reasoining |  low   | Even though ​ FDC are grey they should be selected in the reasoning| ​ {{:​magik-demo:​done-green.gif|}}| 
 +| '​-'​ localhost is displayed |  low   ​| ​ |  {{:​magik-demo:​done-green.gif|}}| 
 +| Try to depoloy MAGIK on the server |  low   | And make it work |  {{:​magik-demo:​done-green.gif|}}|
magik-demo/developer/notes/magik3-tickets.1371809099.txt.gz · Last modified: 2017/07/06 15:24 (external edit)