feat: improved efficiency of DB summary methods#1416

jstucke wants to merge 1 commit intomasterfkie-cad/FACT_core:masterfrom

db-common-summary-optimizationsfkie-cad/FACT_core:db-common-summary-optimizationsCopy head branch name to clipboard