国际财务报告准则（IFRS）基金会发布了XBRL公式业务规则，它能应用于IFRS分类标准。我预计，应用于美国GAAP分类标准的XBRL公式业务规则也将在不久之后出台。

长期以来，我一直是XBRL公式的忠实拥趸，因为它能表达XBRL计算无法表述的业务规则。事实上，为了保证所报送事实的关系的准确性，你必须运用XBRL公式或类似的东西来创建高质量的XBRL实例。

比如，国际财务报告准则基金会将其XBRL公式分为以下几种类型（查阅此文档的第二页）：

      跨期验证—此类公式用于确保期内前滚数值（前期余额+总变化）与期后余额一致。

      每股收益（EPS）验证—此类公式用于确保收益（或亏损）和平均股数的EPS值的准确性。

      轴聚合验证—此类公式用于确保轴的成分能够适合其母成分，前提是此类公式适用于指定的轴并且报送者按照类似合计的层次对成分进行结构化。

      事实对等性验证—此类公式用于确保以不同的IFRS分类标准概念进行标记的两种事实所表达的事物在概念上是相同的。通常来讲，其中一种事实会出现在维度上下文中，另外一种则不会。例如，‘飞机’=主列项‘财产、厂房和设备’下的‘财产、厂房和设备【轴】’中的‘飞机【成分】。

     常用会计准则对等性验证—此类公式用于确保通用会计准则能够被恰当运用。

     积极事实和消极事实验证—如果一个事实将会被多次报送，此类公式将会确保此事实是积极事实。反之，如果此事实不会被报送，此类公式将会确认其为消极事实。

     百分比警示信息—此类公式将会确保百分比事实的形式符合XBRL规范。

如果你现在没有为了确保上述类型的事物的正确性而对其进行验证，那么它们很有可能是不正确的。由于你没有对你的文档进行验证，所以它们看上去或许是正确的。但是，如果你对运用XBRL公式进行表达的业务规则展开验证，你可能会对自己遗漏的信息感到惊讶。