När en fråga misslyckas, är det mer samarbetsvilligt att identifiera orsaken till misslyckandet, snarare än att bara rapportera det tomma svaret som. När det inte finns en orsak i sig för frågans misslyckande, är det då värt att rapportera den del av frågan som misslyckades. För att identifiera en minimal misslyckad underförfrågan (MFS) av frågan är det bästa sättet att göra detta. (Denna MFS är inte unik; det kan finnas många av dem.) På samma sätt, för att identifiera en maximal efterföljande subquery (XSS) kan hjälpa en användare att omarbeta en ny fråga som leder till en icke-tomma svarsuppsättning. Databassystem tillhandahåller inte funktionaliteten hos dessa typer av samverkande svar. Detta kan delvis bero på att algoritmiska metoder för nding MFS och XSS till en felsökning inte är uppenbara. Sökområdet för subqueries är stort. Trots arbete på MFSs i det förflutna, den algoritmiska komplexiteten av dessa identi katjon problem hade förblivit uncharted. Detta dokument visar hur komplex MFS och XSS är. Det visas att det finns en enkel algoritm för nding en MFS eller en XSS genom att fråga N efterföljande frågor, där N är längden på frågan. Till nd fler MFS (eller XSS) kan vara svårt. Det visas att till nd N MFSs (eller XSS) är NP-hård. Till nd k MFSs (eller XSS), för en xed k, förblir polynomial. En optimal algoritm för att räkna MFS och XSS, ISHMAEL, utvecklas och presenteras. Algoritmen har idealisk prestanda i uppräkning, nding rst svar snabbt, och bara sönderfaller mot intractability på ett förutsägbart sätt som ytterligare svar hittas. De komplexa resultat och algoritmiska metoder som anges i detta dokument bör göra det möjligt att bygga samarbetsanläggningar som identifierar MFS och XSS för databassystem. Dessa resultat är relevanta för ett antal problem även utanför databaserna och kan komma att tillämpas ytterligare.
Ett gemensamt problem är att återhämta sig från en felsökning (dvs. en fråga som ger ett tomt svar) genom att utöka relations- och avdragsdatabassystem med faciliteter för att hitta minimalt fel, maximal framgång, och minimala motstridiga underkrav REF.
Minimization in Cooperative Response to Failing Database Queries
{'venue': 'Int. J. Cooperative Inf. Syst.', 'journal': None, 'mag_field_of_study': ['Computer Science']}