Polyhedra DBMS