Title: Cycle detection in entity-relationship database schemes