MAGIK - Managing Completeness of Data


MAGIK is a web based tool for managing database completeness*
  • How to know what is missing in the database?


    MAGIK allows one to keep track of complete parts in the database by means of meta-information.

  • Which is the main feature?


    The main MAGIK feature is the reasoning facilities that can infer whether a database is complete enough to guarantee that an answer retrieved by a query is the same as if the database is complete.
  • And if a query is not complete?


    MAGIK is able to find queries similar to the original query, that are guaranteed to be complete. Theses queries are the least specific approximations of the original query that approximate the query from the above and below. In addition, MAGIK returns which parts of the database need to be completed to make the query answer complete.






*This work was supported by the project Managing Completeness of Data (MAGIC), funded by the province of Bolzano.