Extended Entity-Relationship calculus
Sorts, operations, and predicates for the calculus; variables; assignments; simple form of declarations; terms; duplicates in bag-valued terms; type construction and inheritance; ranges; formulas; final form of declarations; queries; transitive closure; sorting feature; finiteness of calculus terms; safeness of the extended Entity-Relationship calculus; relational completeness of the extended Entity-Relationship calculus; relationship and value dependent joins; equivalence rules for calculus expressions; integrity constraints; case study: specification of extended Entity-Relationship schemas within the extended Entity-Relationship approach.
KeywordsFree Variable Query Language Transitive Closure Entity Type Integrity Constraint
Unable to display preview. Download preview PDF.