Patent
1991-12-02
1994-04-26
MacDonald, Allen R.
G06F 900
Patent
active
053074459
ABSTRACT:
Processing techniques for enhancing execution of programs written in a logic-oriented programming language such as PROLOG are disclosed. The techniques are particularly useful for programs having class predicates and subclass predicates which are definitive of a class/subclass hierarchy, such as the case with PROLOG's application in object-oriented programming systems, expert systems, object-oriented databases, object-oriented deductive databases, knowledge representations, etc. The techniques ensure that searching within the type hierarchy takes precedence over searching of instances of types. Important to accomplishing this function is the pre-assigning of ranks to predicates and clauses within the program to be processed. Query processing on the program is then based upon the pre-assigned predicate and clause rankings. In particular, novel rules are substituted for conventional predicate and clause selection rules of PROLOG interpreters such that predicates and clauses are preferably processed in order of ranking. In addition, certain query processing simplification steps are introduced. The net effect is a technique which eliminates redundant and unnecessary searching at the instance level by taking advantage of information available in the type lattice.
REFERENCES:
patent: 4276597 (1981-06-01), Dissly et al.
patent: 4318184 (1982-03-01), Millett et al.
patent: 4546432 (1985-10-01), Umemura et al.
patent: 4620286 (1986-10-01), Smith et al.
patent: 4620295 (1986-10-01), Aiken, Jr.
patent: 4760523 (1988-07-01), Yu et al.
Natarajan et al., "Adaptive Optimization of Recursive Search Trees", IBM Technical Disclosure Bulletin, vol. 31, No. 1, pp. 415-417, 1988.
Kaci et al., "Logic and Inheritance", Proceedings of ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages, Microelectronics and Computer Technology Corporation, pp. 219-228, 1986.
Dalal Mukesh
Gangopadhyay Dipayan
International Business Machines - Corporation
MacDonald Allen R.
LandOfFree
Query optimization by type lattices in object-oriented logic pro does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Query optimization by type lattices in object-oriented logic pro, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Query optimization by type lattices in object-oriented logic pro will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1718462