Hippo

Hippo is a database system that computes consistent answers to projection-free SQL queries.  The system handles denial constraints and uses a conflict hypergraph to store all conflicts in main memory. The algorithm for computation of  consistent query answers can be found in our CIKM paper.

 

The whole system is implemented in Java, which makes it platform independent. Hippo works as a SQL frontend. It uses only SQL99 constructions what makes it virtually RDBMS independent. Initially, the system has been developed using PostgreSQL database system. With almost no effort Hippo has been ported to a post-relational database system Caché.

 

This work is supported by National Science Foundation Grant IIS-0119186.

Download Hippo ver 0.9