zhao2024evaluating (317B)
1 # Zhao2024evaluating 2 3 [computational_complexity] of [datalog_semiring_query_evaluation] under [naturally_ordered_semiring] 4 5 - uses [grounding] 6 - has [lower_bounds] but still over a class of programs, not over a specific program 7 - reduction from [clique] 8 9 Up: [academic_paper] on [datalog_semiring_query_evaluation]