A GENITIVE RELATIONAL TUPLE CALCULUS FOR AN OBJECT-ORIENTED RELATIONAL DATA MODEL
Date
1992-09-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
A genitive relational tuple calculus, applicable to an object-oriented relational data base, has been developed. A key construct
in the calculus is the genitive relation. This permits quite concise
specification of complex objects and allows for quantification of
relationships by means of any of the natural quantifiers. Tuple
calculus expressions are composite-object oriented, as opposed to
entire relation-orientation of conventional tuple calculus. The
genitive relational tuple calculus can be used as a theoretical
foundation for a new class of declarative relational languages, such
as COOL (composite object-oriented language), a recently developed
genitive relational object-oriented natural quantifier data base
language for use with data bases as a subset of SQL. How
the calculus is a basis for COOL is also briefly demonstrated.
Description
Keywords
Computer Science