Using deductive databases to facilitate the maintenance process

Suzanne Dietrich, Frank W. Calliss

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

This paper focuses on how the novel integration of inter-module 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 analysis example illustrates how the flexibility and extendibility of IMCA DD Ada facilitates the maintenance process, highlighting the advantages offered by the declarative technology.

Original languageEnglish (US)
Title of host publicationConference Proceedings - International Phoenix Conference on Computers and Communications
PublisherIEEE
Pages310-318
Number of pages9
StatePublished - 1995
EventProceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA
Duration: Mar 28 1995Mar 31 1995

Other

OtherProceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications
CityScottsdale, AZ, USA
Period3/28/953/31/95

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Using deductive databases to facilitate the maintenance process'. Together they form a unique fingerprint.

  • Cite this

    Dietrich, S., & Calliss, F. W. (1995). Using deductive databases to facilitate the maintenance process. In Conference Proceedings - International Phoenix Conference on Computers and Communications (pp. 310-318). IEEE.