DESIGN AND IMPLEMENTATION OF COOL, A DECLARATIVE, GENITIVE RELATIONAL, NATURAL QUANTIFIER LANGUAGE FOR OBJECT-RELATIONAL DATABASES
Date
1995-08-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The structure and implementation of a new kind of declarative language
called COOL for object-relational data base manipulation is described
and analysed. COOL is motivated by the goal of an easy-to-use
object-relational declarative language that could be the basis for a
language for both oral database interrogation and for manipulation
of very complex objects.
Fundamentally COOL has a predicate calculus expression structure,
but allows the use of genitive relations and natural quantifiers,
which renders the COOL expression structure remarkably close to that
of English language expression structure. A genitive relation is a relation
containing the equivalent of a genitive case in natural language. So far
only the genitive relations for one-to-many relationships, both
composite and non composite, both recursive and non recursive, have
been implemented. The natural quantifiers are the quantifiers of
natural language; 14 basic types were implemented. COOL expressions are
translated in two steps, firstly to Extended Relational Algebra (ERA)
routines, and secondly from the ERA routines into SQL for processing by a
relational data base system.
Description
Keywords
Computer Science