Tamino - a DBMS designed for XML