The Design And Implementation Of A Deductive Inference Mechnism

Nowadays information world is developing rapidly. Tradional database has strong function, but it didn' t catch up with the need of the current information world's development . Information world expects the birth of the new database . But in artificial intelligence how to realize knowledge reasoning efficiently , in traditional database and how to make use of each other' s advantage becomes important subject which researchers explore and study in recent years and get important result.As deductive database knowledge reasoning differs from artificial intelligence , it borrows some reasoning ideas from artificial intelligence .So inferring realization in artificial intelligence didn't entirely put into deductive database .The researchers have long been studying and exploring to find effective and general algorithms. Now various kinds of query algorithms can be classfied as :up-down, down-up and the combinenation of the both. Although these algorithms have different rule forms .algorithm efficiency is still imperfect ,but continue to study more efficient ,more general inferring algorithms leaves good basis.To make deductive database in data query get improvement in function and efficiency, we must build a perfect .science .strict system structure fragment for inferring mechnism running . And it gives data querying which is effective and sure insurance .Deductive database is introduction to knowledge and inferring mechnism in artificial intelligece in traditional database. Studying It needs very strict theory model as background. Relation model and datalog model can describe world. Deductive database makes good use of predicate logic. Because it has strict ,systemic , maths theory Logic theory base and stronger inferring mechnism.On the basis of traditional database.it introduces design idea, structure, implemention and system model and so on.Finally, makes good use of distributed database paralleling processing advantage and major recursive forms are single linear Recursive forms and single recursive can turn into a union form N chain recursive . It introduces a /V_chain recursive query algorithms with paralleling processing to show DDB' s insurance. It is a implemention of deductive query algorithms.