Fråga inneslutning under begränsningar är problemet med att kontrollera om för varje databas som uppfyller en viss uppsättning begränsningar, resultatet av en fråga är en delmängd av resultatet av en annan fråga, Den senaste forskningen påpekar att detta är ett centralt problem i severa databasapplikationer, och vi behandlar det inom A-miljö där begränsningar anges i form av särskild inkludering beroenden över komplexa uttryck, byggd genom att använda skärningspunkt och skillnad i relationer, speciella former av kvantifiering, regelbundna uttryck över binära relationer, och kardinalitet begränsningar. Dessa typer av begränsningar fångar en stor mängd olika datamodeller, inklusive relationen, den enhet-relationella, och objekt-orienterad modell, Vi studerar problemet med att kontrollera om q är innesluten i q' med avseende på de begränsningar som anges i ett schema S, där q och q' är icke-rekursiva Datalog-program vars atomer är komplexa uttryck. Vi presenterar följande resultat på frågan inneslutning. För det fall där q inte innehåller reguljära uttryck, tillhandahåller vi en metod för att bestämma fråge inneslutning, och analysera dess beräknings komplexitet. Vi gör samma sak i fallet där varken S eller q, q' innehåller nummerbegränsningar. Såvitt vi vet ger detta det första avgörande resultatet på inneslutning av konjunktiva frågor med reguljära uttryck. Slutligen föreslår vi att problemet är obeslutbart för det fall där vi erkänner ojämlikhet i q',, 1 Inledning Fråga inneslutning är problemet med att kontrollera om för avcry databas, resultatet av en fråga är en delmängd av resultatet av en annan fråga ", Många senaste dokument påpekar att detta problem är viktigt i flera sammanhang, inklusive informationsintegration [33] Vi hanterar problemet med fråge begränsning under begränsningar, dvs... Den ena av att kontrollera om inneslutning mellan två frågor håller för varje databas som uppfyller en viss uppsättning begränsningar. Detta problem är relevant i varje situation där databasschemat specificeras med ett rikt datadefinitionsspråk. När det gäller informationsintegration skall frågorna jämföras relativt med (inter-schema) begränsningar, som används för att deklarera ugluen" mellan två källschema, och mellan en källa schema och det globala schemat [7,24,33,8, 29]. Komplexiteten i frågan inneslutning i frånvaro av begränsningar har studerats i olika miljöer. I [lo] har NPfullständighet fastställts för konjunktiva frågor, och i [13] har en multiparameteranalys utförts för samma fall, vilket visar att intractability beror på vissa typer av cykler i frågorna. I [26, 341, II; fullständig begränsning av konjunktiva frågor med ojämlikhet visades, och i [32] fallet med frågor med facket och olika aktörer undersöktes. För olika klasser av Datalogs frågor med ojämlikheter, decisionability och obeslutbarhet resultat presenterades i (121 respektive [34] respektive. Frågor som omfattas av begränsningar har också varit föremål för flera undersökningar. Till exempel undersöktes under [4] under funktionella och multivärderade beroenden, under [14] under funktionella och inch&on beroenden, i [9, 28, 301 under begränsningar som representerar is-a hierarkier och compIex-objekt, och i [17] när det gäller begränsningar representerade som Datalog-program. I detta dokument tar vi upp frågan inneslutning i en miljö där: l Schemat består av begrepp (unära relationer) och relationer som grundläggande element, och av en uppsättning begränsningar som uttrycks i en logikbaserad formalism. Varje begränsning är en inklusion av formen al C 02, där al och a2 är compIex uttryck bu% genom att använda skärningspunkt och skillnad i relationer, speciella former av kvantifiering, reguljära uttryck över binär relation, och nummerbegränsningar (dvs.. kardinalitetsbegränsningar som innebär begränsningar av antalet tupler i ett visst förhållande där ett föremål kan förekomma). Begränsningarna innebär i huvudsak att begrepp och relationer är beroende av varandra, och deras uttryckskraft beror på möjligheten att använda komplexa uttryck i specifikationen av beroendet-149
I REF studeras frågan inneslutning problem i samband med beskrivningen logik DLR reg.
On the decidability of query containment under constraints
{'venue': "PODS '98", 'journal': None, 'mag_field_of_study': ['Computer Science']}