The application of deductive databases to inter-module code analysis

Abstract

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