(8) Extended Features of a Deductive Object-Oriented Database Language Quixote for Practical Use

Quixote is a deductive object-oriented database (DOOD) language and also a knowledge representation language for various advanced applications such as legal reasoning and natural language processing. In this research project, we extend the language to provide facilities for deductive object-oriented multidatabase systems and extended mediator systems in wide-area network environments. Especially in such extensions, we can maintain the consistency of subsumption relations of multiple information sources and to navigate information sources automatically to search more appropriate answers by using extended abduction mechanisms, and data dictionaries and directories (DD/D). This new language is called QUIK (Quixote in Kyoto), implemented in Java.