Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

November 1990


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-90-84.


The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows to represent an arbitrary dI-domain as a set of records with variants. The special case of direct product decompositions of Scott-domains is studied separately.



Date Posted: 14 August 2007