Converts between YS and DBMS without referring to expansion algorithm. Note that this correspondence is unproven.