initial thoughts on relation constraint checks