On knowledge base management systems : INTEGRATING ARTIFICAL INTELLIGENCE AND DATABASE TECHNOLOGIES (Springer Verlag, 1986)