The application of deductive databases to inter-module code analysis

Intermodule code analysis is a process by which a programmer can analyze a program consisting of a collection of interconnected modules. A deductive database that records the information needed for intermodule code analysis is presented. The application of a deductive database to this domain utilizes the rule capability for data structuring and facilitates the declarative specification of recursive operations. This deductive database was derived from a conceptual schema, which describes the dependencies that exist in a program. A method for mapping a conceptual schema to a deductive database framework is outlined. An example query is used to show how this database can be used for intermodule code analysis.<<ETX>>

[1]  Yih-Farn Robin Chen,et al.  The C++ Information Abstractor , 1990, C++ Conference.

[2]  Jean-Marie Nicolas,et al.  Logic and Databases: An Assessment , 1990, ICDT.

[3]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.

[4]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[5]  Mark A. Linton.  Implementing relational views of programs , 1984 .

[6]  C. V. Ramamoorthy,et al.  The C Information Abstraction System , 1990, IEEE Trans. Software Eng..

[7]  Suzanne W. Dietrich,et al.  A conceptual design for a code analysis knowledge base , 1992, J. Softw. Maintenance Res. Pract..

[8]  Niklaus Wirth,et al.  Programming in Modula-2 , 1985, Texts and Monographs in Computer Science.

[9]  Dennis S. Arnon,et al.  Towards a Deductive Database for Elementary Algebra and Geometry , 1990, Workshop on Deductive Databases.