Table: red_camera_specs
Columns: frame_size
width
height
mpix
aspect_ratio
max_fps
max_fps_hdrx
lowest_possible_redcode_at_24_fps
lowest_possible_redcode_at_max_fps

Question: What is the aspect ration when the max fps HDRx is 80?
SQL: SELECT "aspect_ratio" FROM red_camera_specs WHERE "max_fps_hdrx" = 80

Question: What is the smallest width for a frame size of 5k and a height shorter than 2700?
SQL: SELECT MIN("width") FROM red_camera_specs WHERE "frame_size" = '5k' AND "height" < 2700