När man besvarar frågor med hjälp av externa informationskällor kan innehållet beskrivas med vyer. För att besvara en fråga, vi m ust skriva om det med hjälp av de vyer som presenteras av källorna. När de externa informationskällorna också har möjlighet att besvara några kanske begränsade uppsättningar frågor som kräver att de utför operationer på sina data, kan den uppsättning synpunkter som presenteras av källan vara i nite om än kodade på något nite sätt. Tidigare arbete med att besvara frågor med hjälp av vyer har endast övervägt fallet där uppsättningen av vyer är nite. För att utnyttja informationskällornas förmåga att besvara mer komplicerade frågor anser vi att det är problematiskt att besvara konjunktiva frågor med hjälp av en rad olika vyer. Vårt första resultat är att en i nite uppsättning vyer kan delas in i ett nite antal ekvivalensklasser, så att välja en vy från varje icke-tomma klass är tillräckligt för att avgöra om frågan kan besvaras med hjälp av vyerna. För det andra visar vi h o w att beräkna uppsättningen ekvivalensklasser för uppsättningar av vyer kodade av ett dataloggprogram. Dessutom utvidgar vi våra resultat till fallet när frågan och vyerna använder de inbyggda predikaten,, = och 6 =, och de tolkas över en tät domän. Slutligen, w e utöka våra resultat till konjunktiva frågor och vyer med de inbyggda predikat,, a n d = i n terpreted över heltalen. Genom att göra det presenterar vi ett resultat av oberoende i n terest, nämligen en algoritm för att minimera sådana frågor.
REF visar att utbytbarhet inducerar ändligt många ekvivalensklasser på uppsättningen av alla vyer som genereras av programmet, och ger en algoritm för att hitta en representant för varje klass.
Answering Queries Using Limited External Query Processors
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}