betydb-constraints-documentation