Szukana fraza: [Abstract = "Efficient inference is assured as only the rules necessary forachieving the goal, identified by the context of inference and partial order among tables, are fired. In the paper a newversion of the language\-XTT2\-is presented. It is based on ALSV\(FD\) logic, also described in the paper. Anotherdistinctive feature of the presented approach is a top\-down design methodology based on successive refinement of theproject. It starts with Attribute Relationship Diagram \(ARD\) development."]