A logic-based information modelling language

摘要

A user-friendly language INFOMOD, intended for information modelling and information systems specification, is described. The language, based on predicate logic, fulfills the role of an implementation-independent Conceptual Schema Language. Both static and dynamic aspects of information systems are specifiable in the language. The language has been in practical use for three years, and has been found suitable for many different kinds of systems, such as conventional database systems, computer-aided manufacturing systems, special purpose information systems, and some expert systems.