In spite of the increasing sophistication and power of commercial spreadsheetpackages, we still lack a formal theory of spreadsheets and a methodology thataids their construction and maintenance. Using a new functional relationallanguage, this paper identifies four principal components that...