Abstrakt. Ett dataintegrationssystem ger användaren en enhetlig vy, kallad global schema, av data som är bosatta vid olika källor. Användarna ställer sina frågor mot det globala schemat, och systemet beräknar svar på frågor genom att på lämpligt sätt komma åt källorna, genom kartläggningen, dvs. specifikationen av förhållandet mellan det globala schemat och källorna. Eftersom källorna i allmänhet är autonoma delsystem är det sannolikt att den information som lämnas av uppgifterna vid källorna och kartläggningen inte överensstämmer med den kunskap som uttrycks i det globala schemat. Därför uppstår frågan hur användarfrågor ska tolkas i en sådan situation, dvs. i närvaro av uppgifter som motsäger det globala schemat och kartläggningen. I detta dokument ger vi en ingående analys av problemet med att hantera inkonsekvenser i systemen för dataintegration. I detta avseende lyfter vi fram den centrala roll som karteringen spelar, och föreslår en allmän "mapping-centrerad" semantik som gör det möjligt att beräkna betydande svar på användarfrågor även i närvaro av inkonsekvent information. Baserat på en sådan semantisk analys definierar vi en allmän formell ram för dataintegration. Sedan hävdar vi att vårt semantiska tillvägagångssätt formaliserar ett mycket rimligt sätt att hantera inkonsekvens i sådana system, eftersom praktiskt taget alla befintliga förslag i litteraturen kan rekonstrueras inom vår ram. Detta gör det möjligt att jämföra och utvärdera de olika befintliga förslagen.
Ett första förslag till en enhetlig ram för CQA i en dataintegrationsmiljö presenteras i REF ) med hjälp av första ordningens logik; den tar hänsyn till olika semantik som definieras genom att tolka kartläggningspåståenden mellan dataintegrationssystemets globala och lokala scheman.
A Comprehensive Semantic Framework for Data Integration Systems
{'venue': 'Journal of Applied Logic', 'journal': None, 'mag_field_of_study': ['Computer Science']}