code: public boolean is_empty(String name) {
          DbDatum datum = datum(name);
          if (datum == null)
              return true;
          else
              return datum.is_empty();
      }
docs: ===========================================================