signature DBMS_CONFIG = sig val dbmsNode : string end