Feature model configuration can be supported on the basis of various types of reasoning approaches. Examples thereof are SAT solving, constraint solving, and answer set programming (ASP). Using these approaches requires technical expertise of how to define and solve the underlying configuration problem. In this paper, we show how to apply conjunctive queries typically supported by today's relational database systems to solve constraint satisfaction problems (CSP) and -- more specifically -- feature model configuration tasks. This approach allows the application of a wide-spread database technology to solve configuration tasks and also allows for new algorithmic approaches when it comes to the identification and resolution of inconsistencies.

翻译：特征模型配置可基于多种推理方法实现支持，例如SAT求解、约束求解和回答集编程（ASP）。运用这些方法需要具备如何定义及求解底层配置问题的专业知识。本文展示了如何运用当今关系数据库系统普遍支持的合取查询来解决约束满足问题（CSP），更具体而言是特征模型配置任务。该方法使得应用广泛使用的数据库技术来解决配置任务成为可能，同时为识别和解决不一致性问题提供了新的算法途径。