NATURAL QUANTIFICATION AND GENITIVE CASE CONSTRUCTS IN COOL: A COMPOSITE OBJECT ORIENTED DECLARATIVE DATABASE LANGUAGE

Abstract

COOL is a composite object-oriented declarative data base language for use with $N sup 2 F$ relational data bases. COOL uses a construct called a genitive relation to enable unambiguous specification and quantification, both conventional and natural, of relationships. A genitive relation is used in a manner corresponding to the genitive case with noun objects in natural language. Instead of formal genitive relation name syntax, a genitive case alias can be used to promote ease of expression construction.