“…Theoretical issues have been investigated (see e.g. [28,29,30,31,65,21,8,48,64,17,18,44,45] for an overview), and experimental deductive database management systems have been and are still implemented (e.g. [54,9,23,26,32,34,51,56,66,33,68,40,52]).…”