412 citations · 554 across the 18 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2023
Efficient Black-box Checking of Snapshot Isolation in Databases
Kaile Huang, Si Liu, Zhenge Chen +4
Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance penalty imposed by serializability and simultaneously prevents various undesired data anomal…
cs.DB2022★ 1 cited
Efficient Evaluation of Arbitrary Relational Calculus Queries
Martin Raszyk, David Basin, Srđan Krstić +1
The relational calculus (RC) is a concise, declarative query language. However, existing RC query evaluation approaches are inefficient and often deviate from established algorithm…