A Simple and Fast Way to Handle Semantic Errors in Transactions Article Swipe

PDF

Jinshan Zeng , Eugene Wu , Sanjay Krishnan ·

YOU? · · 2024 · Open Access · · DOI: https://doi.org/10.48550/arxiv.2412.12493

Many computer systems are now being redesigned to incorporate LLM-powered agents, enabling natural language input and more flexible operations. This paper focuses on handling database transactions created by large language models (LLMs). Transactions generated by LLMs may include semantic errors, requiring systems to treat them as long-lived. This allows for human review and, if the transaction is incorrect, removal from the database history. Any removal action must ensure the database's consistency (the "C" in ACID principles) is maintained throughout the process. We propose a novel middleware framework based on Invariant Satisfaction (I-Confluence), which ensures consistency by identifying and coordinating dependencies between long-lived transactions and new transactions. This middleware buffers suspicious or compensating transactions to manage coordination states. Using the TPC-C benchmark, we evaluate how transaction generation frequency, user reviews, and invariant completeness impact system performance. For system researchers, this study establishes an interactive paradigm between LLMs and database systems, providing an "undoing" mechanism for handling incorrect operations while guaranteeing database consistency. For system engineers, this paper offers a middleware design that integrates removable LLM-generated transactions into existing systems with minimal modifications.

Related Topics

Concepts

Simple (philosophy) Computer science Algorithm Epistemology Philosophy

Metadata

Type: preprint
Language: en
Landing Page: http://arxiv.org/abs/2412.12493
PDF: https://arxiv.org/pdf/2412.12493
OA Status: green
Related Works: 10
OpenAlex ID: https://openalex.org/W4405562056

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4405562056

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.48550/arxiv.2412.12493

Digital Object Identifier
Title: A Simple and Fast Way to Handle Semantic Errors in Transactions

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2024

Year of publication
Publication date: 2024-12-17

Full publication date if available
Authors: Jinshan Zeng, Eugene Wu, Sanjay Krishnan

List of authors in order
Landing page: https://arxiv.org/abs/2412.12493

Publisher landing page
PDF URL: https://arxiv.org/pdf/2412.12493

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://arxiv.org/pdf/2412.12493

Direct OA link when available
Concepts: Simple (philosophy), Computer science, Algorithm, Epistemology, Philosophy

Top concepts (fields/topics) attached by OpenAlex
Cited by: 0

Total citation count in OpenAlex
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4405562056
doi	https://doi.org/10.48550/arxiv.2412.12493
ids.doi	https://doi.org/10.48550/arxiv.2412.12493
ids.openalex	https://openalex.org/W4405562056
fwci
type	preprint
title	A Simple and Fast Way to Handle Semantic Errors in Transactions
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T13643
topics[0].field.id	https://openalex.org/fields/33
topics[0].field.display_name	Social Sciences
topics[0].score	0.8655999898910522
topics[0].domain.id	https://openalex.org/domains/2
topics[0].domain.display_name	Social Sciences
topics[0].subfield.id	https://openalex.org/subfields/3320
topics[0].subfield.display_name	Political Science and International Relations
topics[0].display_name	Artificial Intelligence in Law
topics[1].id	https://openalex.org/T10703
topics[1].field.id	https://openalex.org/fields/14
topics[1].field.display_name	Business, Management and Accounting
topics[1].score	0.833299994468689
topics[1].domain.id	https://openalex.org/domains/2
topics[1].domain.display_name	Social Sciences
topics[1].subfield.id	https://openalex.org/subfields/1404
topics[1].subfield.display_name	Management Information Systems
topics[1].display_name	Business Process Modeling and Analysis
topics[2].id	https://openalex.org/T11912
topics[2].field.id	https://openalex.org/fields/14
topics[2].field.display_name	Business, Management and Accounting
topics[2].score	0.8170999884605408
topics[2].domain.id	https://openalex.org/domains/2
topics[2].domain.display_name	Social Sciences
topics[2].subfield.id	https://openalex.org/subfields/1404
topics[2].subfield.display_name	Management Information Systems
topics[2].display_name	Outsourcing and Supply Chain Management
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C2780586882
concepts[0].level	2
concepts[0].score	0.7934592366218567
concepts[0].wikidata	https://www.wikidata.org/wiki/Q7520643
concepts[0].display_name	Simple (philosophy)
concepts[1].id	https://openalex.org/C41008148
concepts[1].level	0
concepts[1].score	0.7373059391975403
concepts[1].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[1].display_name	Computer science
concepts[2].id	https://openalex.org/C11413529
concepts[2].level	1
concepts[2].score	0.3226929306983948
concepts[2].wikidata	https://www.wikidata.org/wiki/Q8366
concepts[2].display_name	Algorithm
concepts[3].id	https://openalex.org/C111472728
concepts[3].level	1
concepts[3].score	0.14654192328453064
concepts[3].wikidata	https://www.wikidata.org/wiki/Q9471
concepts[3].display_name	Epistemology
concepts[4].id	https://openalex.org/C138885662
concepts[4].level	0
concepts[4].score	0.0878925621509552
concepts[4].wikidata	https://www.wikidata.org/wiki/Q5891
concepts[4].display_name	Philosophy
keywords[0].id	https://openalex.org/keywords/simple
keywords[0].score	0.7934592366218567
keywords[0].display_name	Simple (philosophy)
keywords[1].id	https://openalex.org/keywords/computer-science
keywords[1].score	0.7373059391975403
keywords[1].display_name	Computer science
keywords[2].id	https://openalex.org/keywords/algorithm
keywords[2].score	0.3226929306983948
keywords[2].display_name	Algorithm
keywords[3].id	https://openalex.org/keywords/epistemology
keywords[3].score	0.14654192328453064
keywords[3].display_name	Epistemology
keywords[4].id	https://openalex.org/keywords/philosophy
keywords[4].score	0.0878925621509552
keywords[4].display_name	Philosophy
language	en
locations[0].id	pmh:oai:arXiv.org:2412.12493
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4306400194
locations[0].source.issn
locations[0].source.type	repository
locations[0].source.is_oa	True
locations[0].source.issn_l
locations[0].source.is_core	False
locations[0].source.is_in_doaj	False
locations[0].source.display_name	arXiv (Cornell University)
locations[0].source.host_organization	https://openalex.org/I205783295
locations[0].source.host_organization_name	Cornell University
locations[0].source.host_organization_lineage	https://openalex.org/I205783295
locations[0].license
locations[0].pdf_url	https://arxiv.org/pdf/2412.12493
locations[0].version	submittedVersion
locations[0].raw_type	text
locations[0].license_id
locations[0].is_accepted	False
locations[0].is_published	False
locations[0].raw_source_name
locations[0].landing_page_url	http://arxiv.org/abs/2412.12493
locations[1].id	doi:10.48550/arxiv.2412.12493
locations[1].is_oa	True
locations[1].source.id	https://openalex.org/S4306400194
locations[1].source.issn
locations[1].source.type	repository
locations[1].source.is_oa	True
locations[1].source.issn_l
locations[1].source.is_core	False
locations[1].source.is_in_doaj	False
locations[1].source.display_name	arXiv (Cornell University)
locations[1].source.host_organization	https://openalex.org/I205783295
locations[1].source.host_organization_name	Cornell University
locations[1].source.host_organization_lineage	https://openalex.org/I205783295
locations[1].license
locations[1].pdf_url
locations[1].version
locations[1].raw_type	article
locations[1].license_id
locations[1].is_accepted	False
locations[1].is_published
locations[1].raw_source_name
locations[1].landing_page_url	https://doi.org/10.48550/arxiv.2412.12493
indexed_in	arxiv, datacite
authorships[0].author.id	https://openalex.org/A5100440528
authorships[0].author.orcid	https://orcid.org/0000-0003-1719-3358
authorships[0].author.display_name	Jinshan Zeng
authorships[0].author_position	first
authorships[0].raw_author_name	Zeng, Jinghan
authorships[0].is_corresponding	False
authorships[1].author.id	https://openalex.org/A5049016095
authorships[1].author.orcid	https://orcid.org/0000-0003-4254-6688
authorships[1].author.display_name	Eugene Wu
authorships[1].author_position	middle
authorships[1].raw_author_name	Wu, Eugene
authorships[1].is_corresponding	False
authorships[2].author.id	https://openalex.org/A5018480426
authorships[2].author.orcid	https://orcid.org/0000-0001-6968-4090
authorships[2].author.display_name	Sanjay Krishnan
authorships[2].author_position	last
authorships[2].raw_author_name	Krishnan, Sanjay
authorships[2].is_corresponding	False
has_content.pdf	False
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://arxiv.org/pdf/2412.12493
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	A Simple and Fast Way to Handle Semantic Errors in Transactions
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T06:51:31.235846
primary_topic.id	https://openalex.org/T13643
primary_topic.field.id	https://openalex.org/fields/33
primary_topic.field.display_name	Social Sciences
primary_topic.score	0.8655999898910522
primary_topic.domain.id	https://openalex.org/domains/2
primary_topic.domain.display_name	Social Sciences
primary_topic.subfield.id	https://openalex.org/subfields/3320
primary_topic.subfield.display_name	Political Science and International Relations
primary_topic.display_name	Artificial Intelligence in Law
related_works	https://openalex.org/W4391375266, https://openalex.org/W2899084033, https://openalex.org/W2748952813, https://openalex.org/W2051487156, https://openalex.org/W1585007175, https://openalex.org/W2073681303, https://openalex.org/W2382521049, https://openalex.org/W2390279801, https://openalex.org/W4391913857, https://openalex.org/W2144385241
cited_by_count	0
locations_count	2
best_oa_location.id	pmh:oai:arXiv.org:2412.12493
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4306400194
best_oa_location.source.issn
best_oa_location.source.type	repository
best_oa_location.source.is_oa	True
best_oa_location.source.issn_l
best_oa_location.source.is_core	False
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	arXiv (Cornell University)
best_oa_location.source.host_organization	https://openalex.org/I205783295
best_oa_location.source.host_organization_name	Cornell University
best_oa_location.source.host_organization_lineage	https://openalex.org/I205783295
best_oa_location.license
best_oa_location.pdf_url	https://arxiv.org/pdf/2412.12493
best_oa_location.version	submittedVersion
best_oa_location.raw_type	text
best_oa_location.license_id
best_oa_location.is_accepted	False
best_oa_location.is_published	False
best_oa_location.raw_source_name
best_oa_location.landing_page_url	http://arxiv.org/abs/2412.12493
primary_location.id	pmh:oai:arXiv.org:2412.12493
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4306400194
primary_location.source.issn
primary_location.source.type	repository
primary_location.source.is_oa	True
primary_location.source.issn_l
primary_location.source.is_core	False
primary_location.source.is_in_doaj	False
primary_location.source.display_name	arXiv (Cornell University)
primary_location.source.host_organization	https://openalex.org/I205783295
primary_location.source.host_organization_name	Cornell University
primary_location.source.host_organization_lineage	https://openalex.org/I205783295
primary_location.license
primary_location.pdf_url	https://arxiv.org/pdf/2412.12493
primary_location.version	submittedVersion
primary_location.raw_type	text
primary_location.license_id
primary_location.is_accepted	False
primary_location.is_published	False
primary_location.raw_source_name
primary_location.landing_page_url	http://arxiv.org/abs/2412.12493
publication_date	2024-12-17
publication_year	2024
referenced_works_count	0
abstract_inverted_index.a	83, 167
abstract_inverted_index.We	81
abstract_inverted_index.an	141, 150
abstract_inverted_index.as	45
abstract_inverted_index.by	27, 34, 95
abstract_inverted_index.if	53
abstract_inverted_index.in	73
abstract_inverted_index.is	56, 76
abstract_inverted_index.on	22, 88
abstract_inverted_index.or	110
abstract_inverted_index.to	7, 42, 113
abstract_inverted_index.we	121
abstract_inverted_index."C"	72
abstract_inverted_index.Any	63
abstract_inverted_index.For	135, 161
abstract_inverted_index.and	15, 97, 103, 129, 146
abstract_inverted_index.are	3
abstract_inverted_index.for	49, 153
abstract_inverted_index.how	123
abstract_inverted_index.may	36
abstract_inverted_index.new	104
abstract_inverted_index.now	4
abstract_inverted_index.the	54, 60, 68, 79, 118
abstract_inverted_index.(the	71
abstract_inverted_index.ACID	74
abstract_inverted_index.LLMs	35, 145
abstract_inverted_index.Many	0
abstract_inverted_index.This	19, 47, 106
abstract_inverted_index.and,	52
abstract_inverted_index.from	59
abstract_inverted_index.into	175
abstract_inverted_index.more	16
abstract_inverted_index.must	66
abstract_inverted_index.that	170
abstract_inverted_index.them	44
abstract_inverted_index.this	138, 164
abstract_inverted_index.user	127
abstract_inverted_index.with	178
abstract_inverted_index.TPC-C	119
abstract_inverted_index.Using	117
abstract_inverted_index.based	87
abstract_inverted_index.being	5
abstract_inverted_index.human	50
abstract_inverted_index.input	14
abstract_inverted_index.large	28
abstract_inverted_index.novel	84
abstract_inverted_index.paper	20, 165
abstract_inverted_index.study	139
abstract_inverted_index.treat	43
abstract_inverted_index.which	92
abstract_inverted_index.while	157
abstract_inverted_index.action	65
abstract_inverted_index.allows	48
abstract_inverted_index.design	169
abstract_inverted_index.ensure	67
abstract_inverted_index.impact	132
abstract_inverted_index.manage	114
abstract_inverted_index.models	30
abstract_inverted_index.offers	166
abstract_inverted_index.review	51
abstract_inverted_index.system	133, 136, 162
abstract_inverted_index.(LLMs).	31
abstract_inverted_index.agents,	10
abstract_inverted_index.between	100, 144
abstract_inverted_index.buffers	108
abstract_inverted_index.created	26
abstract_inverted_index.ensures	93
abstract_inverted_index.errors,	39
abstract_inverted_index.focuses	21
abstract_inverted_index.include	37
abstract_inverted_index.minimal	179
abstract_inverted_index.natural	12
abstract_inverted_index.propose	82
abstract_inverted_index.removal	58, 64
abstract_inverted_index.states.	116
abstract_inverted_index.systems	2, 41, 177
abstract_inverted_index.computer	1
abstract_inverted_index.database	24, 61, 147, 159
abstract_inverted_index.enabling	11
abstract_inverted_index.evaluate	122
abstract_inverted_index.existing	176
abstract_inverted_index.flexible	17
abstract_inverted_index.handling	23, 154
abstract_inverted_index.history.	62
abstract_inverted_index.language	13, 29
abstract_inverted_index.paradigm	143
abstract_inverted_index.process.	80
abstract_inverted_index.reviews,	128
abstract_inverted_index.semantic	38
abstract_inverted_index.systems,	148
abstract_inverted_index."undoing"	151
abstract_inverted_index.Invariant	89
abstract_inverted_index.framework	86
abstract_inverted_index.generated	33
abstract_inverted_index.incorrect	155
abstract_inverted_index.invariant	130
abstract_inverted_index.mechanism	152
abstract_inverted_index.providing	149
abstract_inverted_index.removable	172
abstract_inverted_index.requiring	40
abstract_inverted_index.benchmark,	120
abstract_inverted_index.database's	69
abstract_inverted_index.engineers,	163
abstract_inverted_index.frequency,	126
abstract_inverted_index.generation	125
abstract_inverted_index.incorrect,	57
abstract_inverted_index.integrates	171
abstract_inverted_index.long-lived	101
abstract_inverted_index.maintained	77
abstract_inverted_index.middleware	85, 107, 168
abstract_inverted_index.operations	156
abstract_inverted_index.redesigned	6
abstract_inverted_index.suspicious	109
abstract_inverted_index.throughout	78
abstract_inverted_index.LLM-powered	9
abstract_inverted_index.consistency	70, 94
abstract_inverted_index.establishes	140
abstract_inverted_index.identifying	96
abstract_inverted_index.incorporate	8
abstract_inverted_index.interactive	142
abstract_inverted_index.long-lived.	46
abstract_inverted_index.operations.	18
abstract_inverted_index.principles)	75
abstract_inverted_index.transaction	55, 124
abstract_inverted_index.Satisfaction	90
abstract_inverted_index.Transactions	32
abstract_inverted_index.compensating	111
abstract_inverted_index.completeness	131
abstract_inverted_index.consistency.	160
abstract_inverted_index.coordinating	98
abstract_inverted_index.coordination	115
abstract_inverted_index.dependencies	99
abstract_inverted_index.guaranteeing	158
abstract_inverted_index.performance.	134
abstract_inverted_index.researchers,	137
abstract_inverted_index.transactions	25, 102, 112, 174
abstract_inverted_index.LLM-generated	173
abstract_inverted_index.transactions.	105
abstract_inverted_index.modifications.	180
abstract_inverted_index.(I-Confluence),	91
cited_by_percentile_year
countries_distinct_count	0
institutions_distinct_count	3
citation_normalized_percentile