Information systems modeling with CGs logic

Abstract

This paper shows how to apply the conceptual graphs logic to information systems modeling. The graphs are not used as just another graphical representation of information system requirements, but the full power of this graphical logic system has been employed to fully and precisely capture type definitions, referential integrity constraints and global constraints. Such a logic based definition of an information system takes its semantics from a set of facts represented by fully instantiated simple conceptual graphs. An incremental validity checking procedures for adding new facts to a fact base have been defined and illustrated by an example.