Assertion: database | /r/HasProperty | brought to state
Facets:
Source sentences:
text: All the write operations within a transaction have an all-or-nothing effect, that is, either the transaction succeeds and all writes take effect, or otherwise, the database is brought to a state that does not include any of the writes of the transaction.