A GENITIVE RELATIONAL TUPLE CALCULUS FOR AN OBJECT-ORIENTED RELATIONAL DATA MODEL

Date
1992-09-01
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
Citation