RECURSIVE RELATIONSHIPS AND NATURAL QUANTIFIER SET THEORETIC EXPRESSION TECHNIQUES
Date
1988-04-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Keywords
Computer Science