check model.log

用ASP.NET做的人事管理系统,主要处理公司雇员的人事信息.

Checking package ...
-	Circular dependency
-	Circularity with mandatory links
Checking domain ...
-	Domain name uniqueness
-	Domain code uniqueness
-	Detect inconsistencies between default values and check parameters
-	Detect inconsistencies between check parameters
-	Precision > Maximum Length
-	Check for undefined data types
-	Check for non-valid data types
Checking data item ...
-	Data Item name uniqueness
-	Data Item code uniqueness
-	Data Item not used
-	Data Item used multiple times
-	Detect differences between data item and associated domain
-	Detect inconsistencies between default values and check parameters
-	Detect inconsistencies between check parameters
-	Precision > Maximum Length
-	Check for undefined data types
-	Check for non-valid data types
Checking entity ...
-	Entity name uniqueness
-	Entity code uniqueness
-	Entity name maximum length
-	Entity code maximum length
-	Existence of attributes
-	Number of serial types > 1
-	Existence of identifiers
-	Existence of relationship
-	Redundant inheritance
Checking entity attribute ...
-	Entity Attribute name uniqueness
-	Entity Attribute code uniqueness
Checking identifier of entity
-	Identifier name uniqueness
-	Identifier code uniqueness
-	Existence of entity attribute
-	Identifier inclusion
Checking relationship ...
-	Relationship name uniqueness
-	Relationship code uniqueness
-	Reflexive dependency
-	Reflexive mandatory
-	Bijective relationship between two entities
-	Name uniqueness constraint between many-to-many relationship and entities
-	Consistency between dominant and dependent
Checking association ...
-	Association name uniqueness
-	Association code uniqueness
-	Number of links >= 2
-	Number of links = 2 with an identifier link
-	Number of identifier links <= 1
-	Absence of properties with identifier links
-	Bijective association between two entities
-	Reflexive identifier links
-	Name unicity constraint between many-many association and entities
Checking inheritance ...
-	Inheritance name uniqueness
-	Inheritance code uniqueness
-	Existence of inheritance link
Checking file ...
-	Embedded file name uniqueness
-	Existence of external file location
0 error(s),  0 warning(s).
The Conceptual Data Model is correct, no errors were found.