Abstract-The paper föreslår en förlängning av CFDS [1], kallas utvidgade villkorliga funktionella beroenden (eCFDs). I motsats till CFD-kontrakt anger eCFD-kontrakt mönster av semantiskt relaterade värden i form av diskontering och ojämlikhet, och kan fånga inkonsekvenser som uppstår i praktiken men inte kan upptäckas av CFD-kontrakt. Den ökade expressiva kraften medför ingen extra komplexitet: vi visar att analyserna av eCFD:er fortfarande är NPfullständiga och COPP-kompletterade, respektive samma som deras motsvarigheter i CFDS. Mot bakgrund av den intractability, presenterar vi en algoritm som approximerar det maximala antalet eCFDs som är tillfredsställande. Dessutom reviderar vi SQL-tekniker för att upptäcka CFD-kränkningar, och visar att överträdelser av flera eCFDs kan fångas via ett enda par SQL-frågor. Vi introducerar också en inkrementell SQL-teknik för att upptäcka eCFD-brott som svar på databasuppdateringar. Vi verifierar experimentellt effektiviteten och effektiviteten hos våra SQL-baserade detektionsmetoder.
Bravo och Al. definiera eCFD, en utvidgning av CFD, för att specificera mönster av semantiskt relaterade värden i termer av diskontering och ojämlikhet REF.
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
{'venue': '2008 IEEE 24th International Conference on Data Engineering', 'journal': '2008 IEEE 24th International Conference on Data Engineering', 'mag_field_of_study': ['Computer Science']}