On knowledge base management systems : integrating artificial intelligence and database technologies - Brodie, Michael L., 1948-; Mylopoulos, John, 1943- (Topics in information systems, 1986)