RECURSIVE RELATIONSHIPS AND NATURAL QUANTIFIER SET THEORETIC EXPRESSION TECHNIQUES

Abstract

A set theoretic expression technique that uses natural quantifiers and sets of related tuples has been extended to include recursive relationships. The technique includes formal set theoretic specifications of related sets of tuples that are related in any of the subrelationships of a recursive relationship. The technique covers both recursive one-to-many and recursive many-to-many relationships. The technique provides a set theoretic foundation for data base languages that allow for the use of the natural quantifiers.