Using deductive databases to facilitate the maintenance process

This paper focuses on how the novel integration of intermodule code analysis (IMCA) and deductive database (DD) technology facilitates program understanding and the software maintenance process. Specifically, we describe the implementation of IMCA for the object-based language Ada using the CORAL deductive database system. Since we have future plans to look at other languages and emerging database technologies, we call this implementation IMCA_DD^Ada. Specifically, we describe in more detail the architectural issues of IMCA_DD^Ada and its implementation in the CORAL deductive database system, including the detailed schema of the facts and rules. A non-trivial code analysers example illustrates how the flexibility and extendibility of IMCA_DD ^Ada facilitates the maintenance process, highlighting the advantages offered by the declarative technology