| 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 |  |
| 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 :)) | |
| Query Generalization in the presence of FDCs | high | Understand how one can do it and then imoplement | |
| Documentation | low | It's time to update and add some more documentation about MAGIK | |
| 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 |  |
| DLV path | low | Evaluate some possibilities of modifying method of obtaining the path | |
| 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. | |
| TC-Suggestion table | high | Show TC-Suggestions and program encoding on completeness reasoning (as in CIKM). | |
| Coloring and Title Bar | low | Return the coloring scheme and the title image as it was before. | |
| Hibernate save on schema level | high | Save and retrieve schemas via Hibernate (all schemas (virtual & remote) are now saved in meta_information.schemas table, including their fks, fdcs, tcs and queries). | |
| Analytic table | high | Analytic table in the same page as reasoning result. | |
| FK & FDC for remote schemas | low | Disable actions for FK and FDC for remote schemas (grayscale). | |
| 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 | |
| shuffling of raws in tables: TC, Query, FK, FDC | low | Implement java-script into table visual representation that allows shuffling of table raws | |
| save the aliases in generalization as they were in the original query | low | Make case distinction if there exists no aliases and if the exists | |
| adding new column in TC-STMT for the description | low | For a better comprehension of TC - stmts, add a field description (not mandatory) in which it is possible describe the meaning of the TC - stmt | |
| Display (both modes) Specs and Gen Queries | low | In DB mode also evaluate them against the database and retrieve the number of answers | |
| Problem with the SQL Query breaking to SELECT-FROM-WHERE | low | Only in the database mode | |
| Create pattern matching for FDCs on edit/add new | low | | |
| Problems with quotes in TC-suggestions | low | When new TC-statement is proposed constants are printed in double quotes instead of single quotes | |
| Problems when TC condition is empty | low | When editing a TC-statement the MAGIK complains no condition is specified which is wrong | |
| FDC in remote mode are not included in reasoining | low | Even though FDC are grey they should be selected in the reasoning | |
| '-' localhost is displayed | low | | |
| Try to depoloy MAGIK on the server | low | And make it work | |
