the design and implementation of k : a high-level knowledge-base programming language of osam * . kbms
ym shyy , j arroyo , syw su , h lam
the vldb journal the international journal on very large & hellip ; ,