A Formal Semantics for Ciset and Ciset Relation Operators
Premchand S. Nair · Procedia Computer Science · 2012
In this paper we present a formal model of semantics for newly introduced operators of cisets, ciset relations. 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 fully explain in a formal way, the semantics of newly introduced operators.