Workiva/Eva 数据库进阶指南：事务函数与历史视图

概述

本文将深入探讨Workiva/Eva数据库的高级功能，包括事务函数、异常处理、历史视图以及多种数据操作API。通过一个银行账户管理的案例，我们将展示如何构建更健壮的数据操作逻辑。

基础准备

首先，我们建立银行账户的基本数据模型：

(def schema
  [{:db/id (eva/tempid :db.part/db)
    :db/ident :account/name
    :db/valueType :db.type/string
    :db/cardinality :db.cardinality/one
    :db/doc "账户持有人姓名"
    :db.install/_attribute :db.part/db}

   {:db/id (eva/tempid :db.part/db)
    :db/ident :account/balance
    :db/cardinality :db.cardinality/one
    :db/valueType :db.type/long
    :db/doc "账户余额"
    :db.install/_attribute :db.part/db}
   ])

(def records
  [{:db/id (eva/tempid :db.part/user -1) :account/name "Jeff Bridges"}
   {:db/id (eva/tempid :db.part/user -1) :account/balance 100}

   {:db/id (eva/tempid :db.part/user -2) :account/name "Jimmy Fallon"}
   {:db/id (eva/tempid :db.part/user -2) :account/balance 1000}

   {:db/id (eva/tempid :db.part/user -3) :account/name "Michael Jackson"}
   {:db/id (eva/tempid :db.part/user -3) :account/balance 10000}])

原子操作与CAS

Eva提供了比较并交换(CAS)操作来确保数据更新的原子性：

@(eva/transact conn [[:db.fn/cas
                     (eva/q get-entity-id db "Jeff Bridges")
                     :account/balance
                     100
                     200]])

CAS操作需要指定实体ID、属性、旧值和新值，只有当数据库中的当前值与提供的旧值匹配时，更新才会成功。

事务函数

为了构建更复杂的业务逻辑，我们可以定义事务函数：

(def inc-balance
  [{:db/id (eva/tempid :db.part/user -1)
    :db/ident :inc-balance
    :db/doc "增加账户余额的事务函数"
    :db/fn (eva/function {:lang "clojure"
                          :params '[db e amount]
                          :code '[[:db/add e :account/balance
                                   (-> (d/entity db e) :account/balance (+ amount))]]
                          })}
   ])

事务函数的特点：

1. 必须接受db作为第一个参数
2. 返回有效的交易数据列表
3. 在事务内部执行，确保原子性

转账功能实现

我们可以实现更复杂的转账功能：

(def transfer
  [{:db/id (eva/tempid :db.part/user -1)
    :db/ident :transfer
    :db/doc "账户间转账事务函数"
    :db/fn (eva/function
             {:lang "clojure"
              :params '[db from to amount]
              :code '(let [from-balance (-> (d/entity db from) :account/balance (- amount))
                           to-balance (-> (d/entity db to) :account/balance (+ amount))]
                       [{:db/id from :account/balance from-balance}
                        {:db/id to :account/balance to-balance}])
              })}])

异常处理

在事务函数中加入业务规则校验：

(def transfer
  [{:db/id (eva/tempid :db.part/user -1)
    :db/ident :transfer
    :db/doc "带异常处理的转账函数"
    :db/fn (eva/function
             {:lang "clojure"
              :params '[db from to amount]
              :code '(let [from-entity (d/entity db from)
                           from-balance (-> from-entity :account/balance (- amount))]
                       (if (< from-balance 0)
                         (throw (IllegalStateException. "余额不足"))
                         [{:db/id from :account/balance from-balance}
                          {:db/id to :account/balance (+ (-> (d/entity db to) :account/balance) amount}])
                       )})}
   ])

数据访问API

Eva提供了多种数据访问方式：

1. 实体API（适合按实体访问）：

(def ent (eva/entity db (eva/q get-entity-id db "Michael Jackson")))
(ent :account/name)

2. Datoms API（适合直接访问索引）：

(-> (eva/datoms db :eavt (eva/q get-entity-id db "Michael Jackson") :account/balance) first :v)

审计日志

通过事务实体实现审计追踪：

(def audit-schema [
                {:db/id (eva/tempid :db.part/db)
                 :db/ident :audit/from
                 :db/valueType :db.type/long
                 :db/doc "转账来源账户"
                 :db.install/_attribute :db.part/db}

                {:db/id (eva/tempid :db.part/db)
                 :db/ident :audit/to
                 :db/valueType :db.type/long
                 :db/doc "转账目标账户"
                 :db.install/_attribute :db.part/db}

                {:db/id (eva/tempid :db.part/db)
                 :db/ident :audit/amount
                 :db/valueType :db.type/long
                 :db/doc "转账金额"
                 :db.install/_attribute :db.part/db}

               {:db/id (eva/tempid :db.part/db)
                 :db/ident :audit/reason
                 :db/valueType :db.type/string
                 :db/doc "转账原因"
                 :db.install/_attribute :db.part/db}
                ])

在转账函数中添加审计信息：

(def transfer
  [{:db/id (eva/tempid :db.part/user -1)
    :db/ident :transfer
    :db/fn (eva/function
             {:lang "clojure"
              :params '[db from to amount reason]
              :code '[... 
                       [{:db/id from :account/balance from-balance}
                        {:db/id to :account/balance to-balance}
                        {:db/id (d/tempid :db.part/tx) :audit/from from}
                        {:db/id (d/tempid :db.part/tx) :audit/to to}
                        {:db/id (d/tempid :db.part/tx) :audit/amount amount}
                        {:db/id (d/tempid :db.part/tx) :audit/reason reason}])
                       )})}
   ])

总结

本文详细介绍了Workiva/Eva数据库的高级特性，包括：

1. 事务函数的定义与使用
2. 原子操作与CAS模式
3. 业务逻辑与异常处理
4. 多种数据访问API
5. 审计日志的实现

通过这些功能，开发者可以构建更健壮、可靠的应用程序，满足复杂的业务需求。