Detect if creation/modification of views would result in cycles, and error out if so. Possibly should allow temporary inconsistencies during recovery. Have validate check for cycles as well.