Towards a logic-based reconstruction of software configuration management

Matthias Jarke, Manfred Jeusfeld, Andreas Miethsam, Michael Gocek

	   The efficient configuration and re-configuration of software
	   systems has been a major problem in software engineering. A
	   large number of solutions has been proposed with different
	   features and restrictions. In this paper, 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, query
	   optimization, and intensional updates are applied [Remark: two
	   screendumps are omitted in the paper due to space limitations]