class_docstr: The abstract database interface.
class_docstr_tok: ["The","abstract","database","interface","."]
docstr: Get the top K valid tuning records of given workload from the database.
  
  Parameters
  ----------
  workload : Workload
      The workload to be searched for.
  top_k : int
      The number of top records to get.
  
  Returns
  -------
  top_k_records : List[TuningRecord]
      The top K records.
docstr_tok: ["Get","the","top","K","valid","tuning","records","of","given","workload","from","the","database",".","Parameters","--","--","--","--","--","workload",":","Workload","The","workload","to","be","searched","for",".","top_k",":","int","The","number","of","top","records","to","get",".","Returns","--","--","--","-","top_k_records",":","List","[","TuningRecord","]","The","top","K","records","."]
code: def get_top_k(
      self, workload: Workload, top_k: int
  ) -> List[TuningRecord]:
      """Get the top K valid tuning records of given workload from the database.
  
      Parameters
      ----------
      workload : Workload
          The workload to be searched for.
      top_k : int
          The number of top records to get.
  
      Returns
      -------
      top_k_records : List[TuningRecord]
          The top K records.
      """
      return _ffi_api.DatabaseGetTopK(self, workload, top_k)
  
imports: from typing import Any, Callable, List, Optional, Union
  from typing_extensions import Literal
  from tvm._ffi import register_object
  from tvm.ir.module import IRModule
  from tvm.runtime import Object
  from tvm.target import Target
  from tvm.tir.schedule import Schedule, Trace
  from ..None import _ffi_api
  from ..arg_info import ArgInfo
  from ..utils import _json_de_tvm
label_desc: Use image node_id 4 for calling the Database obj's underlying member method code with example usage: obj.get_top_k(workload, top_k) and returns: _ffi_api