Abstrakt. En mängd idéer om verktyg för informationsintegration kan ses som att man bygger upp svar på frågor med hjälp av åsikter som representerar informationskällornas kapacitet. Vi granskar den formella grunden för dessa tekniker, som är nära relaterade till inneslutning algoritmer för konjunktiva frågor och / eller Datalog program. Sedan jämför vi de metoder som används av A T&T Labs \Information Manifold" och Stanford \Tsimmis "projekt i dessa termer. Innan vi tar itu med information-integration frågor, låt oss granska några av de grundläggande idéerna om konjunktiva frågor, Datalog program, och deras inneslutning. Till att börja med använder vi den logiska regeln notation från Ull88]. Exempel 1. Följande: är en regel som talar om a, en n EDB predicate (\ Extensional DataBase, eller lagrad relation), och p, en n IDB predicate (\ Intensional DataBase, "eller predicate vars relation är konstruerad av regler). I detta och flera andra exempel, är det användbart att tänka på en som en \arc" predicate de ning a graph, medan andra predicates de ne vissa strukturer som kan finnas i grafen. Det vill säga, a(X Y) m e a n s det finns en båge från nod X till nod Y. I detta fall, regeln säger \p(X Z) är sant om det finns en båge från nod X till nod Y och även en båge från Y till Z." Det vill säga, p representerar vägar av längd 2. I allmänhet finns det en atom, huvudet, till vänster om tecknet \if ", :-och noll av fler atomer, kallas subgoals, o n t h e r i g h t sida (kroppen). Huvudet har alltid en IDB predicate subgoals kan ha IDB eller EDB predicates. Således, här p(X Z) är huvudet, medan a(X Y) och a(Y Z) är undermåliga. Vi antar att varje v ariable visas i huvudet också visas någonstans i kroppen. Detta \säkerhetskrav" försäkrar att när vi u s e r u l e, w e r inte kvar med ode ner variabler i huvudet när vi försöker dra en slutsats om huvudets predikat. Vi antar också att atomer består av en predikat och noll eller fler argument. Ett argument kan antingen vara en variabel eller en konstant. Vi utesluter dock funktionssymboler från argument.
Se Ullman, REF, för en kartläggning av arbetet med verktyg för informationsintegration för att besvara frågor med synpunkter som representerar informationsresursernas kapacitet.
Information integration using logical views
{'venue': 'Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}