I detta dokument behandlas problemet med att förklara saknade svar i frågor som omfattar urval, projektion, medlemskap, fackförening, aggregering och gruppering (SPJUA). Att förklara saknade svar på frågor är användbart i olika scenarier, inklusive frågeförståelse och felsökning. Vi presenterar en allmän ram för generering av dessa förklaringar baserade på källdata. Vi beskriver algoritmerna som används för att generera en korrekt, ändlig och, om möjligt, minimal uppsättning förklaringar. Dessa algoritmer är en del av Artemis, ett system som hjälper frågeutvecklare att analysera frågor genom att till exempel låta dem fråga varför vissa tuples inte är i frågeresultatet. Experimentella resultat visar att Artemis genererar förklaringar av saknade tuples i en takt som gör det möjligt för utvecklare att effektivt använda dem för frågeanalys.
På samma sätt används Ctables för att på ett kompakt sätt representera uppsättningar av svar som saknas.
Explaining Missing Answers to SPJUA Queries
{'venue': 'PVLDB', 'journal': 'PVLDB', 'mag_field_of_study': ['Computer Science']}