Search code examples
database-normalizationfunctional-dependenciesdatabase-theory

What does the symbol "⊇" mean?


In the attached picture there's a symbol I don't understand. To understand additive functional dependency I need to know what the symbol means. Please advice?

alt text

It's the symbol where it says: "Suppose that X Y and that..."

= ?

Thanks!


Solution

  • It means "X is a superset of Y". The subset symbol is the same but flipped horizontally.