The following pages link to Unique key Horn functions (Q2672584):
Displaying 5 items.
- Functional dependencies in Horn theories (Q1285668) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- A tableaux-like method to infer all minimal keys (Q4644503) (← links)
- On approximating the rank of graph divisors (Q6098103) (← links)
- Polynomial delay hybrid algorithms to enumerate candidate keys for a relation (Q6648284) (← links)