Assertion: database | /r/CapableOf | enforce same data integrity invariants
Facets:
Source sentences:
text: Even further, the type system used in a particular application can be defined directly in the database, allowing the database to enforce the same data integrity invariants.