A computing device receives a rule that includes information describing conditions associated with a consequence, and identifies rule components corresponding to the rule. The computing device creates a rule formula, based on the rule components, by creating a first-order logic version of the rule and creating a rule formula table based on the first-order logic version of the rule. The computing device stores the rule formula table in a relational database.