Type systems have been studied extensively for programs, but not for specifications. is paper presents a type system for the increasingly important class of specification languages based on first-order constraints over relational data models, which have applications in software modelling, architectural description, web ontologies, access control, etc. e system has rather a different flavour f...
