Advertisement

Extended Entity-Relationship calculus

Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 767)

Abstract

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.

Keywords

Free Variable Query Language Transitive Closure Entity Type Integrity Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Personalised recommendations