Towards a logic-based reconstruction of software configuration management

The efficient configuration and reconfiguration of software systems has been a major problem in software engineering. Configuration management is presented from a logic perspective. It is shown that much functionality can be generated automatically when configurations are considered as views on a deductive database, and recent results on deductive integrity checking, semantic query optimization, and intensional updates are applied to formalize a software information base for configuration management and the operations on it. An experimental prototype implementation is described