Using deductive databases to facilitate the maintenance process

Suzanne Dietrich; Frank W. Calliss

Using deductive databases to facilitate the maintenance process

Suzanne Dietrich, Frank W. Calliss

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Conference Proceedings - International Phoenix Conference on Computers and Communications
Publisher	IEEE
Pages	310-318
Number of pages	9
State	Published - 1995
Event	Proceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA Duration: Mar 28 1995 → Mar 31 1995

Other

Other	Proceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications
City	Scottsdale, AZ, USA
Period	3/28/95 → 3/31/95

ASJC Scopus subject areas

General Computer Science

Cite this

@inproceedings{d49878c81793407e934dd8099127c9a4,

title = "Using deductive databases to facilitate the maintenance process",

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. ",

author = "Suzanne Dietrich and Calliss, {Frank W.}",

year = "1995",

language = "English (US)",

pages = "310--318",

booktitle = "Conference Proceedings - International Phoenix Conference on Computers and Communications",

publisher = "IEEE",

note = "Proceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications ; Conference date: 28-03-1995 Through 31-03-1995",

}

TY - GEN

T1 - Using deductive databases to facilitate the maintenance process

AU - Dietrich, Suzanne

AU - Calliss, Frank W.

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0029234494&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029234494&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029234494

SP - 310

EP - 318

BT - Conference Proceedings - International Phoenix Conference on Computers and Communications

PB - IEEE

T2 - Proceedings of the 1995 IEEE 14th Annual International Phoenix Conference on Computers and Communications

Y2 - 28 March 1995 through 31 March 1995

ER -

Using deductive databases to facilitate the maintenance process

Abstract

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this