En fråga Q är begränsad evaluable under en uppsättning A av åtkomstbegränsningar om för alla datauppsättningar D som uppfyller A, det finns ett bråk DQ D sådan att Q(D) = Q(DQ), och storleken på DQ och tid för att identifiera DQ är båda oberoende av storleken på D. Det vill säga, vi kan beräkna Q(D) genom att få tillgång till en begränsad mängd data oavsett hur stor D växer. Även om det är önskvärt är det dock obeslutsamt att avgöra om en fråga i relation till algebra (RA) är begränsad under A. Mot bakgrund av obeslutbarheten utvecklar detta dokument en effektiv syntax för avgränsade RA-frågor. Vi identifierar en klass av täckta RA-frågor sådan att under A, (a) varje begränsad utvärderbar RA-förfrågan är likvärdig med en täckt fråga, (b) varje täckt RA-förfrågan är begränsad utvärderbar, och (c) det tar PTIME i PTIME och  för att kontrollera om Q omfattas av A. Vi tillhandahåller quadratic-time algoritmer för att kontrollera täckningen av Q, och för att generera en begränsad frågeplan för täckt Q. Vi studerar också ett nytt optimeringsproblem för att minimera åtkomstbegränsningar för täckta frågor. Med hjälp av verkliga data, vi experimentellt verifiera att ett stort antal RA frågor i praktiken omfattas, och att avgränsade frågeplaner förbättra RA frågebedömning av storleksordningar.
Det visas att i genomsnitt 77 % av SPC-förfrågningarna [17] och 67 % av relationella algebraförfrågningar REF endast kan utvärderas under några hundratals åtkomstbegränsningar.
An Effective Syntax for Bounded Relational Queries
{'venue': "SIGMOD '16", 'journal': None, 'mag_field_of_study': ['Computer Science']}