an order of evaluating semantic rules, such that all the attributes defined can be computedAttribute Evaluation OrdersTopological Order-based EvaluationTree Traversal-based Evaluation