User Tools
This is an old revision of the document!
===== Tickets ===== ^ 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|}} | | 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|}}| | 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|}}| | Documentation| low | It's time to update and add some more documentation about MAGIK | {{:magik-demo:todo-red.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|}} | | Coloring and Title Bar | low |Return the coloring scheme and the title image as it was before.| {{:magik-demo:done-green.gif|}}| | 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).| {{: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|}}| | 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|}}| | 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 | {{:magik-demo:done-green.gif|}}| | 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 | {{:magik-demo:done-green.gif|}}| |Display (both modes) Specs and Gen Queries | low | In DB mode also evaluate them against the database and retrieve the number of answers | {{:magik-demo:done-green.gif|}}| |Problem with the SQL Query breaking to SELECT-FROM-WHERE | low | Only in the database mode | {{:magik-demo:done-green.gif|}}| |Create pattern matching for FDCs on edit/add new | low | | {{: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|}}| | 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|}}|
