Class Assertion {Analysis} derived from: Constraint

Documentation
4.17.4 Assertions

An assertion is a named constraint that may relate to the content of individual rows of a table, to the entire contents of a table, or to a state required to exist among a number of tables. An assertion is described by an assertion descriptor. In addition to the components of every constraint descriptor an assertion descriptor includes:
- The <search condition> .
An assertion is satisfied if and only if the specified <search condition> is not False.

Syntax defined in section 11.37 <assertion definition>
Function: Specify an integrity constraint.
Format: <assertion definition> ::= CREATE ASSERTION <constraint name> CHECK <left paren> <search condition> <right paren> [ <constraint characteristics> ]

10.8
2) The <qualified identifier> of <constraint name> shall not be equivalent to the <qualified identifier> of the
<constraint name> of any other constraint defined in the same schema.


Parent PackageConstraintsAbstractNo
Export ControlPublicAccessLink Class forNone
Class KindNormalClassCardinalityn
Space ConcurrencySequential
PersistenceNo  


Attributes
NameClassTypeInitial Value
searchConditionAssertionString 
deferrableConstraintboolean 
initiallyDeferredConstraintbooleanfalse
nameSQLObjectString 
descriptionSQLObjectString 
labelSQLObjectString 


Associations
NameMy RoleMy ClassOther RoleOther Element
schema-assertionassertionsAssertionschemaSQLSchema
--Not Named----Not Named--AssertionconstrainedTablesBaseTable


Generalization Relationships
NameClassSupplier
--Not Named--AssertionConstraint
--Not Named--ConstraintSQLObject



Property Settings

Data Modeler
dmItemFalseDMName 
IsTableFalseIsViewFalse
IsDomainFalseIsSPPackageFalse
Synonymns TableSpaceID 
SourceId SourceType 
CorrelationName SelectClause 
IsUpdateableTrueCheckOptionNone
IsSnapShotFalseIsDistinctFalse
PersistToServer IsPackageFalse