equality_generating_dependency (202B)
1 # Equality generating dependency (EGDs) 2 3 A [database_dependency] in which the head is an [equality] [atom] 4 5 - [functional_dependency] 6 7 Up: [database_dependency], [first_order_logic] 8 9 Aliases: EGD, EGDs