Basic Idea For DOOD, especially when using bottom-up evaluation, optimization is essential. However, for advanced languages like F-logic the general syntactical techniques well-known from Datalog are not sufficient; e.g. due to the rich structure of the language (comprising multiple inheritance, variables on class or method position, and rule-defiend class hierarchy) magic-set transformation is applicable only for a restricted subset of F-logic.
展开▼
