NATURAL QUANTIFIER SET THEORETIC EXPRESSION TECHNIQUES

Abstract

An extension to conventional set theoretic expression techniques has been developed. This extension permits the application of the whole range of natural quantifiers with any of the types of relationships that can occur between relations. The extension should provide a set theoretic foundation for inclusion of natural quantifier facilities both in new data base languages and in extensions to existing data base languages, such as SQL.