Efficient Black-box Checking of Snapshot Isolation in Databases Article Swipe
Kaile Huang
,
Si Liu
,
Zhenge Chen
,
Hengfeng Wei
,
David Basin
,
Haixiang Li
,
Anqun Pan
·
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2301.07313
YOU?
·
· 2023
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.2301.07313
Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance penalty imposed by serializability and simultaneously prevents various undesired data anomalies. Nevertheless, SI anomalies have recently been found in production cloud databases that claim to provide the SI guarantee. Given the complex and often unavailable internals of such databases, a black-box SI checker is highly desirable. In this paper we present PolySI, a novel black-box checker that efficiently checks SI and provides understandable counterexamples upon detecting violations. PolySI builds on a novel characterization of SI using generalized polygraphs (GPs), for which we establish its soundness and completeness. PolySI employs an SMT solver and also accelerates SMT solving by utilizing the compact constraint encoding of GPs and domain-specific optimizations for pruning constraints. As demonstrated by our extensive assessment, PolySI successfully reproduces all of 2477 known SI anomalies, detects novel SI violations in three production cloud databases, identifies their causes, outperforms the state-of-the-art black-box checkers under a wide range of workloads, and can scale up to large-sized workloads.
Related Topics
Concepts
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/2301.07313
- https://arxiv.org/pdf/2301.07313
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4317549283
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4317549283Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.2301.07313Digital Object Identifier
- Title
-
Efficient Black-box Checking of Snapshot Isolation in DatabasesWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2023Year of publication
- Publication date
-
2023-01-18Full publication date if available
- Authors
-
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David Basin, Haixiang Li, Anqun PanList of authors in order
- Landing page
-
https://arxiv.org/abs/2301.07313Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/2301.07313Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/2301.07313Direct OA link when available
- Concepts
-
Computer science, Cloud computing, Snapshot (computer storage), Byte, Database, Isolation (microbiology), Operating system, Microbiology, BiologyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4317549283 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.2301.07313 |
| ids.doi | https://doi.org/10.3929/ethz-b-000615761 |
| ids.openalex | https://openalex.org/W4317549283 |
| fwci | |
| type | preprint |
| title | Efficient Black-box Checking of Snapshot Isolation in Databases |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10772 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9988999962806702 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1705 |
| topics[0].subfield.display_name | Computer Networks and Communications |
| topics[0].display_name | Distributed systems and fault tolerance |
| topics[1].id | https://openalex.org/T11719 |
| topics[1].field.id | https://openalex.org/fields/18 |
| topics[1].field.display_name | Decision Sciences |
| topics[1].score | 0.9977999925613403 |
| topics[1].domain.id | https://openalex.org/domains/2 |
| topics[1].domain.display_name | Social Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1803 |
| topics[1].subfield.display_name | Management Science and Operations Research |
| topics[1].display_name | Data Quality and Management |
| topics[2].id | https://openalex.org/T12326 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9957000017166138 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1708 |
| topics[2].subfield.display_name | Hardware and Architecture |
| topics[2].display_name | Network Packet Processing and Optimization |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C41008148 |
| concepts[0].level | 0 |
| concepts[0].score | 0.7815893888473511 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[0].display_name | Computer science |
| concepts[1].id | https://openalex.org/C79974875 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5784872174263 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q483639 |
| concepts[1].display_name | Cloud computing |
| concepts[2].id | https://openalex.org/C55282118 |
| concepts[2].level | 2 |
| concepts[2].score | 0.522648811340332 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q252683 |
| concepts[2].display_name | Snapshot (computer storage) |
| concepts[3].id | https://openalex.org/C43364308 |
| concepts[3].level | 2 |
| concepts[3].score | 0.48347407579421997 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q8799 |
| concepts[3].display_name | Byte |
| concepts[4].id | https://openalex.org/C77088390 |
| concepts[4].level | 1 |
| concepts[4].score | 0.47129976749420166 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q8513 |
| concepts[4].display_name | Database |
| concepts[5].id | https://openalex.org/C2775941552 |
| concepts[5].level | 2 |
| concepts[5].score | 0.4259645342826843 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q25212305 |
| concepts[5].display_name | Isolation (microbiology) |
| concepts[6].id | https://openalex.org/C111919701 |
| concepts[6].level | 1 |
| concepts[6].score | 0.22106826305389404 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q9135 |
| concepts[6].display_name | Operating system |
| concepts[7].id | https://openalex.org/C89423630 |
| concepts[7].level | 1 |
| concepts[7].score | 0.0 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q7193 |
| concepts[7].display_name | Microbiology |
| concepts[8].id | https://openalex.org/C86803240 |
| concepts[8].level | 0 |
| concepts[8].score | 0.0 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q420 |
| concepts[8].display_name | Biology |
| keywords[0].id | https://openalex.org/keywords/computer-science |
| keywords[0].score | 0.7815893888473511 |
| keywords[0].display_name | Computer science |
| keywords[1].id | https://openalex.org/keywords/cloud-computing |
| keywords[1].score | 0.5784872174263 |
| keywords[1].display_name | Cloud computing |
| keywords[2].id | https://openalex.org/keywords/snapshot |
| keywords[2].score | 0.522648811340332 |
| keywords[2].display_name | Snapshot (computer storage) |
| keywords[3].id | https://openalex.org/keywords/byte |
| keywords[3].score | 0.48347407579421997 |
| keywords[3].display_name | Byte |
| keywords[4].id | https://openalex.org/keywords/database |
| keywords[4].score | 0.47129976749420166 |
| keywords[4].display_name | Database |
| keywords[5].id | https://openalex.org/keywords/isolation |
| keywords[5].score | 0.4259645342826843 |
| keywords[5].display_name | Isolation (microbiology) |
| keywords[6].id | https://openalex.org/keywords/operating-system |
| keywords[6].score | 0.22106826305389404 |
| keywords[6].display_name | Operating system |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:2301.07313 |
| 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/2301.07313 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | |
| 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/2301.07313 |
| locations[1].id | pmh:oai:www.research-collection.ethz.ch:20.500.11850/615761 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306402302 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | Repository for Publications and Research Data (ETH Zurich) |
| locations[1].source.host_organization | https://openalex.org/I35440088 |
| locations[1].source.host_organization_name | ETH Zurich |
| locations[1].source.host_organization_lineage | https://openalex.org/I35440088 |
| locations[1].license | cc-by-nc-nd |
| locations[1].pdf_url | https://www.research-collection.ethz.ch/bitstream/20.500.11850/615761/2/3583140.3583145.pdf |
| locations[1].version | submittedVersion |
| locations[1].raw_type | info:eu-repo/semantics/conferenceObject |
| locations[1].license_id | https://openalex.org/licenses/cc-by-nc-nd |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | Proceedings of the VLDB Endowment, 16 (6) |
| locations[1].landing_page_url | http://hdl.handle.net/20.500.11850/615761 |
| locations[2].id | doi:10.48550/arxiv.2301.07313 |
| locations[2].is_oa | True |
| locations[2].source.id | https://openalex.org/S4306400194 |
| locations[2].source.issn | |
| locations[2].source.type | repository |
| locations[2].source.is_oa | True |
| locations[2].source.issn_l | |
| locations[2].source.is_core | False |
| locations[2].source.is_in_doaj | False |
| locations[2].source.display_name | arXiv (Cornell University) |
| locations[2].source.host_organization | https://openalex.org/I205783295 |
| locations[2].source.host_organization_name | Cornell University |
| locations[2].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[2].license | cc-by |
| locations[2].pdf_url | |
| locations[2].version | |
| locations[2].raw_type | article |
| locations[2].license_id | https://openalex.org/licenses/cc-by |
| locations[2].is_accepted | False |
| locations[2].is_published | |
| locations[2].raw_source_name | |
| locations[2].landing_page_url | https://doi.org/10.48550/arxiv.2301.07313 |
| locations[3].id | doi:10.3929/ethz-b-000615761 |
| locations[3].is_oa | True |
| locations[3].source.id | https://openalex.org/S7407051236 |
| locations[3].source.type | repository |
| locations[3].source.is_oa | False |
| locations[3].source.issn_l | |
| locations[3].source.is_core | False |
| locations[3].source.is_in_doaj | False |
| locations[3].source.display_name | ETH Zürich Research Collection |
| locations[3].source.host_organization | |
| locations[3].source.host_organization_name | |
| locations[3].license | |
| locations[3].pdf_url | |
| locations[3].version | |
| locations[3].raw_type | article-journal |
| locations[3].license_id | |
| locations[3].is_accepted | False |
| locations[3].is_published | |
| locations[3].raw_source_name | |
| locations[3].landing_page_url | https://doi.org/10.3929/ethz-b-000615761 |
| indexed_in | arxiv, datacite |
| authorships[0].author.id | https://openalex.org/A5080086691 |
| authorships[0].author.orcid | |
| authorships[0].author.display_name | Kaile Huang |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Huang, Kaile |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5100330142 |
| authorships[1].author.orcid | https://orcid.org/0000-0003-3578-7432 |
| authorships[1].author.display_name | Si Liu |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Liu, Si |
| authorships[1].is_corresponding | False |
| authorships[2].author.id | https://openalex.org/A5053512521 |
| authorships[2].author.orcid | |
| authorships[2].author.display_name | Zhenge Chen |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Chen, Zhenge |
| authorships[2].is_corresponding | False |
| authorships[3].author.id | https://openalex.org/A5071661810 |
| authorships[3].author.orcid | https://orcid.org/0000-0002-0427-9710 |
| authorships[3].author.display_name | Hengfeng Wei |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | Wei, Hengfeng |
| authorships[3].is_corresponding | False |
| authorships[4].author.id | https://openalex.org/A5025344654 |
| authorships[4].author.orcid | https://orcid.org/0000-0003-2952-939X |
| authorships[4].author.display_name | David Basin |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Basin, David |
| authorships[4].is_corresponding | False |
| authorships[5].author.id | https://openalex.org/A5101608037 |
| authorships[5].author.orcid | https://orcid.org/0009-0004-7562-339X |
| authorships[5].author.display_name | Haixiang Li |
| authorships[5].author_position | middle |
| authorships[5].raw_author_name | Li, Haixiang |
| authorships[5].is_corresponding | False |
| authorships[6].author.id | https://openalex.org/A5001037413 |
| authorships[6].author.orcid | https://orcid.org/0000-0002-6756-149X |
| authorships[6].author.display_name | Anqun Pan |
| authorships[6].author_position | last |
| authorships[6].raw_author_name | Pan, Anqun |
| authorships[6].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/2301.07313 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Efficient Black-box Checking of Snapshot Isolation in Databases |
| has_fulltext | True |
| is_retracted | False |
| updated_date | 2025-11-06T06:51:31.235846 |
| primary_topic.id | https://openalex.org/T10772 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9988999962806702 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1705 |
| primary_topic.subfield.display_name | Computer Networks and Communications |
| primary_topic.display_name | Distributed systems and fault tolerance |
| related_works | https://openalex.org/W2542847180, https://openalex.org/W3034994054, https://openalex.org/W4244478748, https://openalex.org/W2805712290, https://openalex.org/W2155226960, https://openalex.org/W2909129499, https://openalex.org/W2392087771, https://openalex.org/W4223488648, https://openalex.org/W2761598930, https://openalex.org/W2134969820 |
| cited_by_count | 0 |
| locations_count | 4 |
| best_oa_location.id | pmh:oai:arXiv.org:2301.07313 |
| 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/2301.07313 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | |
| 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/2301.07313 |
| primary_location.id | pmh:oai:arXiv.org:2301.07313 |
| 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/2301.07313 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | |
| 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/2301.07313 |
| publication_date | 2023-01-18 |
| publication_year | 2023 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 4, 52, 65, 83, 157 |
| abstract_inverted_index.As | 124 |
| abstract_inverted_index.In | 59 |
| abstract_inverted_index.SI | 25, 40, 54, 72, 87, 137, 141 |
| abstract_inverted_index.an | 102 |
| abstract_inverted_index.by | 15, 110, 126 |
| abstract_inverted_index.in | 31, 143 |
| abstract_inverted_index.is | 3, 56 |
| abstract_inverted_index.of | 49, 86, 116, 134, 160 |
| abstract_inverted_index.on | 82 |
| abstract_inverted_index.to | 37, 166 |
| abstract_inverted_index.up | 165 |
| abstract_inverted_index.we | 62, 94 |
| abstract_inverted_index.GPs | 117 |
| abstract_inverted_index.SMT | 103, 108 |
| abstract_inverted_index.all | 133 |
| abstract_inverted_index.and | 17, 45, 73, 98, 105, 118, 162 |
| abstract_inverted_index.can | 163 |
| abstract_inverted_index.for | 92, 121 |
| abstract_inverted_index.its | 96 |
| abstract_inverted_index.our | 127 |
| abstract_inverted_index.the | 11, 39, 43, 112, 152 |
| abstract_inverted_index.(SI) | 2 |
| abstract_inverted_index.2477 | 135 |
| abstract_inverted_index.also | 106 |
| abstract_inverted_index.been | 29 |
| abstract_inverted_index.data | 22 |
| abstract_inverted_index.have | 27 |
| abstract_inverted_index.such | 50 |
| abstract_inverted_index.that | 9, 35, 69 |
| abstract_inverted_index.this | 60 |
| abstract_inverted_index.upon | 77 |
| abstract_inverted_index.weak | 6 |
| abstract_inverted_index.wide | 158 |
| abstract_inverted_index.Given | 42 |
| abstract_inverted_index.claim | 36 |
| abstract_inverted_index.cloud | 33, 146 |
| abstract_inverted_index.found | 30 |
| abstract_inverted_index.known | 136 |
| abstract_inverted_index.level | 8 |
| abstract_inverted_index.novel | 66, 84, 140 |
| abstract_inverted_index.often | 46 |
| abstract_inverted_index.paper | 61 |
| abstract_inverted_index.range | 159 |
| abstract_inverted_index.scale | 164 |
| abstract_inverted_index.their | 149 |
| abstract_inverted_index.three | 144 |
| abstract_inverted_index.under | 156 |
| abstract_inverted_index.using | 88 |
| abstract_inverted_index.which | 93 |
| abstract_inverted_index.(GPs), | 91 |
| abstract_inverted_index.PolySI | 80, 100, 130 |
| abstract_inverted_index.avoids | 10 |
| abstract_inverted_index.builds | 81 |
| abstract_inverted_index.checks | 71 |
| abstract_inverted_index.highly | 57 |
| abstract_inverted_index.solver | 104 |
| abstract_inverted_index.PolySI, | 64 |
| abstract_inverted_index.causes, | 150 |
| abstract_inverted_index.checker | 55, 68 |
| abstract_inverted_index.compact | 113 |
| abstract_inverted_index.complex | 44 |
| abstract_inverted_index.detects | 139 |
| abstract_inverted_index.employs | 101 |
| abstract_inverted_index.imposed | 14 |
| abstract_inverted_index.penalty | 13 |
| abstract_inverted_index.present | 63 |
| abstract_inverted_index.provide | 38 |
| abstract_inverted_index.pruning | 122 |
| abstract_inverted_index.solving | 109 |
| abstract_inverted_index.various | 20 |
| abstract_inverted_index.Snapshot | 0 |
| abstract_inverted_index.checkers | 155 |
| abstract_inverted_index.encoding | 115 |
| abstract_inverted_index.prevents | 19 |
| abstract_inverted_index.provides | 74 |
| abstract_inverted_index.recently | 28 |
| abstract_inverted_index.anomalies | 26 |
| abstract_inverted_index.black-box | 53, 67, 154 |
| abstract_inverted_index.databases | 34 |
| abstract_inverted_index.detecting | 78 |
| abstract_inverted_index.establish | 95 |
| abstract_inverted_index.extensive | 128 |
| abstract_inverted_index.internals | 48 |
| abstract_inverted_index.isolation | 1, 7 |
| abstract_inverted_index.prevalent | 5 |
| abstract_inverted_index.soundness | 97 |
| abstract_inverted_index.undesired | 21 |
| abstract_inverted_index.utilizing | 111 |
| abstract_inverted_index.anomalies, | 138 |
| abstract_inverted_index.anomalies. | 23 |
| abstract_inverted_index.constraint | 114 |
| abstract_inverted_index.databases, | 51, 147 |
| abstract_inverted_index.desirable. | 58 |
| abstract_inverted_index.guarantee. | 41 |
| abstract_inverted_index.identifies | 148 |
| abstract_inverted_index.polygraphs | 90 |
| abstract_inverted_index.production | 32, 145 |
| abstract_inverted_index.reproduces | 132 |
| abstract_inverted_index.violations | 142 |
| abstract_inverted_index.workloads, | 161 |
| abstract_inverted_index.workloads. | 168 |
| abstract_inverted_index.accelerates | 107 |
| abstract_inverted_index.assessment, | 129 |
| abstract_inverted_index.efficiently | 70 |
| abstract_inverted_index.generalized | 89 |
| abstract_inverted_index.large-sized | 167 |
| abstract_inverted_index.outperforms | 151 |
| abstract_inverted_index.performance | 12 |
| abstract_inverted_index.unavailable | 47 |
| abstract_inverted_index.violations. | 79 |
| abstract_inverted_index.constraints. | 123 |
| abstract_inverted_index.demonstrated | 125 |
| abstract_inverted_index.successfully | 131 |
| abstract_inverted_index.Nevertheless, | 24 |
| abstract_inverted_index.completeness. | 99 |
| abstract_inverted_index.optimizations | 120 |
| abstract_inverted_index.simultaneously | 18 |
| abstract_inverted_index.understandable | 75 |
| abstract_inverted_index.counterexamples | 76 |
| abstract_inverted_index.domain-specific | 119 |
| abstract_inverted_index.serializability | 16 |
| abstract_inverted_index.characterization | 85 |
| abstract_inverted_index.state-of-the-art | 153 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 7 |
| citation_normalized_percentile |