Cardinality constraints are sometimes not respected within a single transact

[rnewman]

mentat=> .q [:find ?card . :where [:db/doc :db/cardinality ?c] [?c :db/ident ?card]]
:db.cardinality/one

mentat=> .t [{:db/ident :db/valueType, :db/doc "foo bar"}{:db/ident :db/valueType, :db/doc "foo baz"}]
TxReport { tx_id: 268435457, tx_instant: 2018-01-22T21:47:34.068482Z, tempids: {} }

mentat=> .q [:find ?e ?v :where [?e :db/doc ?v]]

7	"foo bar"
7	"foo baz"

[rnewman]

Array form behaves 'correctly' (it doesn't err, but it only transacts one datom):

mentat=> .t [[:db/add 7 :db/doc "foo bar"] [:db/add 7 :db/doc "foo baz"]]
TxReport { tx_id: 268435458, tx_instant: 2018-01-22T22:01:23.310669Z, tempids: {} }
mentat=> .q [:find ?e ?v :where [?e :db/doc ?v]]

7	"foo baz"

[rnewman]

This is because the two lookup refs get allocated different tempids.

One can repeat this manually:

.t [[:db/add "aaa" :db/ident :db/valueType][:db/add "aaa" :db/doc "foo bar"][:db/add "bbb" :db/ident :db/valueType][:db/add "bbb" :db/doc "foo baz"]]

[rnewman]

Yeah, no cardinality limits at all within a tx.

.t [{:db/ident :foo/attr :db/valueType :db.type/string :db/cardinality :db.cardinality/one}]
.t [[:db/add 32 :foo/attr "abc"] [:db/add 32 :foo/attr "def"]]

mentat=> .q [:find ?e ?v :where [?e :foo/attr ?v]]
32	"abc"
32	"def"

[rnewman]

I filed #532 for a follow-on bug for this.

[rnewman]

Ugly, but it works.

mentat=> .t [{:db/ident :foo/attr :db/valueType :db.type/string :db/cardinality :db.cardinality/one}]
TxReport { tx_id: 268435457, tx_instant: 2018-01-23T23:21:54.871562Z, tempids: {} }
mentat=> .t [[:db/add 32 :foo/attr "abc"] [:db/add 32 :foo/attr "def"]]
Error(MentatError(DbError(Msg("Could not insert non-fts one statements into temporary search table!"))), State { next_error: Some(SqliteFailure(Error { code: ConstraintViolation, extended_code: 2067 }, Some("UNIQUE constraint failed: inexact_searches.e0, inexact_searches.a0"))), backtrace: None }).