A deductive database system PACADE for the three dimensional structure of protein

Describes a deductive database system PACADE (Protein Atomic Coordinate Analyzer with Deductive Engine) which facilitates a search of three dimensional data kept at the Brookhaven´s Protein Data Bank. This system has the following features. Recursive relations can be handled. Long range connectivities between amino acids in proteins can be searched from short range connectivities. The system involves deduction from the approach of bottom up evaluation. Unlike Prolog, it always computes all answers without a description of the control by users and always terminates. This system makes use of query processing techniques proposed for computer science, hence queries are processed efficiently