In this paper, user interface for a prototype of the deductive database system has been designed and implemented. Especially, the user interface for IDB rules with recursion and negation. It consists of three parts : structure, safe check and rectific...
In this paper, user interface for a prototype of the deductive database system has been designed and implemented. Especially, the user interface for IDB rules with recursion and negation. It consists of three parts : structure, safe check and rectification.