I detta dokument undersöker vi möjligheten att omvandla frågor med minimala och maximala predikat till likvärdiga frågor som kan beräknas mer effektivt. Det viktigaste bidraget av papperet är en algoritm för att föröka min och max predikat samtidigt bevara frågan likvärdighet under vissa monotonicitet begränsningar. Vi visar att algoritmen är korrekt och att den förändrade frågan ofta är säker när den ursprungliga inte är det. Även om vi i detta dokument använder logiska regler, kan den teknik som presenteras användas för att optimera (eventuellt rekursiva) frågor uttryckta med hjälp av SQL3.
Ett nyare arbete REF utformar en algoritm för att trycka max och min begränsningar i rekursion samtidigt bevara frågan likvärdighet under vissa specifika monotonicitet antaganden.
Pushing Extrema Aggregates to Optimize Logic Queries
{'venue': 'Inf. Syst.', 'journal': 'Inf. Syst.', 'mag_field_of_study': ['Computer Science']}