declare and sds : early efforts to commercialize deductive database technology w kleã?ling , h schmidt , w strauã ? , g dã 1/4 nzinger the vldb journal the international journal on very large & hellip ; ,