This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| magik-demo:developer:notes:magik3-tickets [2013/06/21 12:30] 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:todo-red.gif|}}| | + | | '-' localhost is displayed | low |  | {{:magik-demo:done-green.gif|}}| | 
| - | | Try to depoloy MAGIK on the server | low | And make it work | {{:magik-demo:todo-red.gif|}}| | + | | Try to depoloy MAGIK on the server | low | And make it work | {{:magik-demo:done-green.gif|}}| |