Formal Semantics of Ciset Relational Operators
Premchand S. Nair, Suseela T. Sarasamma · 2006
In this paper we present a formal model of semantics for cisets, ciset relations and ciset relational operators. The notion of alternate worlds is used to formalize the information content of a ciset and ciset relations. A ciset represents a collection of (regular) sets. Similarly, a ciset relation represents a collection of (regular) relations. Once this collection has been identified, any ciset relational operator can be applied on the collection of (regular) relations represented by ciset relations involved. This approach is computationally inefficient and is introduced solely to explain in a formal way, the semantics of every ciset relational operator