On the Number of Quantifiers Needed to Define Boolean Functions
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
Assume that each object in a database has m grades, or scores, one for each of m attributes. For example, an object can have a color grade, that tells how red it is, and a shape grade, that tells how round it is. For each attribute, there is a sorted list, which lists each object and its grade under that attribute, sorted by grade (highest grade first). Each object is assigned an overall grade, that is obtained by combining the attribute grades using a fixed monotone aggregation function, or combining rule, such as min or average. In this overview, we discuss and compare algorithms for determining the top k objects, that is, k objects with the highest overall grades.
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
Joseph Y. Halpern, Ronald Fagin
PODC 1985
Ronald Fagin, Benny Kimelfeld, et al.
ICDT 2010
Hugh Darwen, C.J. Date, et al.
ICDT 2012