Inter-module code analysis is a process by which a programmer can analyse a program consisting of a collection of interconnected modules. A deductive database is presented that records the information needed for inter-module code analysis. The application of a deductive database to this domain utilises 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 inter-module code analysis.