public static void dbUpdateDemon(Proposition dbproposition) {
    { Stella_Object db = (dbproposition.arguments.theArray)[0];

      RDBMS.disconnectFromDatabase(((LogicObject)(db)));
      Keyword.bumpMemoizationTimestamp(RDBMS.KWD_EXTERNAL_DB_UPDATE);
    }
  }