constraints
relationalai.semantics.std
Functions for declaring constraints.
This module provides functions for declaring constraints on data models including:
- Uniqueness constraints
- Exclusive/anyof/oneof constraints for relationships
Functions
Section titled “Functions”Functions exposed by this module.
unique() Declare a uniqueness constraint on variables.
exclusive() Declare that the given concepts are mutually exclusive.
anyof() Declare that at least one of the given concepts must be true.
oneof() Declare that exactly one of the given concepts must be true.