Application of OBDD Diagrams in Verification of Tabular Rule Systems
- Publication date
- Publisher
Abstract
Abstract. This paper examines the application of Ordered Binary Decision Diagrams (OBDD) to modelling and verification of quality properties of rule systems. The transformation of an intentional specification of a tabular rule system into OBDD data structures was proposed and techniques of verification of such quality properties as completeness, determinism and redundancy of rules were described