Corrections; add README stub in DBMS