Motsvarande beroenden infördes nyligen som deklarativa regler för datarening och avveckling av enheter. Förstärka en matchning beroende av en databas instans identifierar värdena för vissa attribut för två tuples, förutsatt att värdena för vissa andra attribut är tillräckligt lika. Om vi antar att det finns matchningsfunktioner för att göra två attributvärden lika, introducerar vi formellt processen att rensa en instans genom att använda matchande beroenden, som ett jaktliknande förfarande. Vi visar att matchande funktioner naturligt introducerar en lattice struktur på attribut domäner, och en partiell ordning av semantisk dominans mellan instanser. Med hjälp av det senare definierar vi semantiken av rena frågesvar i termer av vissa/möjliga svar som den största nedre gränsen/minsta övre gränsen av alla möjliga svar som erhållits från de rena instanserna. Vi visar att rent frågesvar är svåråtkomligt i allmänhet. Sedan studerar vi frågor som beter sig monotont w.r.t. Semantisk dominansordning, och visa att vi kan ge en under / över approximation för rena svar på monotona frågor. Dessutom kan icke-monoton positiva frågor avlastas till monotona frågor.
Enforcing en matchning beroende på en databas instans identifierar värdena för vissa attribut för två tuples, förutsatt att värdena för vissa andra attribut är tillräckligt liknande REF.
Data Cleaning and Query Answering with Matching Dependencies and Matching Functions
{'venue': 'Theory of Computing Systems', 'journal': 'Theory of Computing Systems', 'mag_field_of_study': ['Computer Science', 'Mathematics']}