Vi föreslår en utvidgning av villkorade funktionella beroenden (CFD), som betecknas av CFD c s, för att uttrycka kardinalitet begränsningar, domänspecifika konventioner, och mönster av semantiskt relaterade konstanter i en enhetlig begränsning formalism. Vi visar att trots den ökade expressiva kraften är tillfredsställandet och implikationsproblemen för CFD c s fortfarande NP-kompletterade respektive coNP-kompletterade, samma som deras motsvarigheter för CFD-kontrakt. Vi kan också identifiera speciella fall.
I REF föreslås en utvidgning av villkorade FD:er för att på ett enhetligt sätt uttrycka kardinalitetsbegränsningar, domänspecifika konventioner och mönster för semantiskt relaterade attributvärden.
Incorporating Cardinality Constraints and Synonym Rules into Conditional Functional Dependencies
{'venue': 'Inf. Process. Lett.', 'journal': 'Inf. Process. Lett.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}