def DataFrame_to_JsonString(pandas_data_frame):
    """Converts a pandas.DataFrame to a Json string in the form {column_name:value,...}.
    Inverse of JsonString_to_DataFrame."""
    json=pandas_data_frame.to_json(orient='records')
    return json