Polyinstantiation in DBMS