Assertion: database's table | /r/AtLocation | dknf
Facets:
Source sentences:
text: That way, the domain integrity violation has been eliminated, and the table is in DKNF.