Verifying equivalence of database-driven applications Article Swipe

PDF

Yuepeng Wang , Işıl Dillig , Shuvendu K. Lahiri , William R. Cook ·

YOU? · · 2017 · Open Access · · DOI: https://doi.org/10.1145/3158144

This paper addresses the problem of verifying equivalence between a pair of programs that operate over databases with different schemas. This problem is particularly important in the context of web applications, which typically undergo database refactoring either for performance or maintainability reasons. While web applications should have the same externally observable behavior before and after schema migration, there are no existing tools for proving equivalence of such programs. This paper takes a first step towards solving this problem by formalizing the equivalence and refinement checking problems for database-driven applications. We also propose a proof methodology based on the notion of bisimulation invariants over relational algebra with updates and describe a technique for synthesizing such bisimulation invariants. We have implemented the proposed technique in a tool called Mediator for verifying equivalence between database-driven applications written in our intermediate language and evaluate our tool on 21 benchmarks extracted from textbooks and real-world web applications. Our results show that the proposed methodology can successfully verify 20 of these benchmarks.

Related Topics

Computer Science

Programming Language

Theoretical Computer Science

Database

Mathematics

Discrete Mathematics

Concepts

Computer science Bisimulation Equivalence (formal languages) Code refactoring Relational database Programming language Database schema Theoretical computer science Schema (genetic algorithms) Web application Database Database design Information retrieval Software Mathematics World Wide Web Discrete mathematics

Metadata

Type: preprint
Language: en
Landing Page: https://doi.org/10.1145/3158144
PDF: https://dl.acm.org/doi/pdf/10.1145/3158144?download=true
OA Status: bronze
Cited By: 4
References: 64
Related Works: 20
OpenAlex ID: https://openalex.org/W2766208582

All OpenAlex metadata

Raw OpenAlex JSON

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

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.1145/3158144

Digital Object Identifier
Title: Verifying equivalence of database-driven applications

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2017

Year of publication
Publication date: 2017-12-27

Full publication date if available
Authors: Yuepeng Wang, Işıl Dillig, Shuvendu K. Lahiri, William R. Cook

List of authors in order
Landing page: https://doi.org/10.1145/3158144

Publisher landing page
PDF URL: https://dl.acm.org/doi/pdf/10.1145/3158144?download=true

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: bronze

Open access status per OpenAlex
OA URL: https://dl.acm.org/doi/pdf/10.1145/3158144?download=true

Direct OA link when available
Concepts: Computer science, Bisimulation, Equivalence (formal languages), Code refactoring, Relational database, Programming language, Database schema, Theoretical computer science, Schema (genetic algorithms), Web application, Database, Database design, Information retrieval, Software, Mathematics, World Wide Web, Discrete mathematics

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

Total citation count in OpenAlex
Citations by year (recent): 2023: 1, 2020: 2, 2019: 1

Per-year citation counts (last 5 years)
References (count): 64

Number of works referenced by this work
Related works (count): 20

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W2766208582
doi	https://doi.org/10.1145/3158144
ids.doi	https://doi.org/10.1145/3158144
ids.mag	2766208582
ids.openalex	https://openalex.org/W2766208582
fwci	1.67945112
type	preprint
title	Verifying equivalence of database-driven applications
biblio.issue	POPL
biblio.volume	2
biblio.last_page	29
biblio.first_page	1
topics[0].id	https://openalex.org/T12479
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.9972000122070312
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1710
topics[0].subfield.display_name	Information Systems
topics[0].display_name	Web Application Security Vulnerabilities
topics[1].id	https://openalex.org/T10126
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9955999851226807
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1702
topics[1].subfield.display_name	Artificial Intelligence
topics[1].display_name	Logic, programming, and type systems
topics[2].id	https://openalex.org/T10679
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9944999814033508
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1710
topics[2].subfield.display_name	Information Systems
topics[2].display_name	Service-Oriented Architecture and Web Services
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C41008148
concepts[0].level	0
concepts[0].score	0.7753582000732422
concepts[0].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[0].display_name	Computer science
concepts[1].id	https://openalex.org/C135315306
concepts[1].level	2
concepts[1].score	0.6297570466995239
concepts[1].wikidata	https://www.wikidata.org/wiki/Q866364
concepts[1].display_name	Bisimulation
concepts[2].id	https://openalex.org/C2780069185
concepts[2].level	2
concepts[2].score	0.5844061970710754
concepts[2].wikidata	https://www.wikidata.org/wiki/Q7977945
concepts[2].display_name	Equivalence (formal languages)
concepts[3].id	https://openalex.org/C152752567
concepts[3].level	3
concepts[3].score	0.5585231184959412
concepts[3].wikidata	https://www.wikidata.org/wiki/Q116877
concepts[3].display_name	Code refactoring
concepts[4].id	https://openalex.org/C5655090
concepts[4].level	2
concepts[4].score	0.5248273015022278
concepts[4].wikidata	https://www.wikidata.org/wiki/Q192588
concepts[4].display_name	Relational database
concepts[5].id	https://openalex.org/C199360897
concepts[5].level	1
concepts[5].score	0.5135000348091125
concepts[5].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[5].display_name	Programming language
concepts[6].id	https://openalex.org/C30775581
concepts[6].level	3
concepts[6].score	0.49370989203453064
concepts[6].wikidata	https://www.wikidata.org/wiki/Q632285
concepts[6].display_name	Database schema
concepts[7].id	https://openalex.org/C80444323
concepts[7].level	1
concepts[7].score	0.4671598970890045
concepts[7].wikidata	https://www.wikidata.org/wiki/Q2878974
concepts[7].display_name	Theoretical computer science
concepts[8].id	https://openalex.org/C52146309
concepts[8].level	2
concepts[8].score	0.44591736793518066
concepts[8].wikidata	https://www.wikidata.org/wiki/Q7431116
concepts[8].display_name	Schema (genetic algorithms)
concepts[9].id	https://openalex.org/C118643609
concepts[9].level	2
concepts[9].score	0.4354243874549866
concepts[9].wikidata	https://www.wikidata.org/wiki/Q189210
concepts[9].display_name	Web application
concepts[10].id	https://openalex.org/C77088390
concepts[10].level	1
concepts[10].score	0.3855111300945282
concepts[10].wikidata	https://www.wikidata.org/wiki/Q8513
concepts[10].display_name	Database
concepts[11].id	https://openalex.org/C148840519
concepts[11].level	2
concepts[11].score	0.2644789218902588
concepts[11].wikidata	https://www.wikidata.org/wiki/Q1049878
concepts[11].display_name	Database design
concepts[12].id	https://openalex.org/C23123220
concepts[12].level	1
concepts[12].score	0.2456313669681549
concepts[12].wikidata	https://www.wikidata.org/wiki/Q816826
concepts[12].display_name	Information retrieval
concepts[13].id	https://openalex.org/C2777904410
concepts[13].level	2
concepts[13].score	0.15510061383247375
concepts[13].wikidata	https://www.wikidata.org/wiki/Q7397
concepts[13].display_name	Software
concepts[14].id	https://openalex.org/C33923547
concepts[14].level	0
concepts[14].score	0.12419238686561584
concepts[14].wikidata	https://www.wikidata.org/wiki/Q395
concepts[14].display_name	Mathematics
concepts[15].id	https://openalex.org/C136764020
concepts[15].level	1
concepts[15].score	0.11593654751777649
concepts[15].wikidata	https://www.wikidata.org/wiki/Q466
concepts[15].display_name	World Wide Web
concepts[16].id	https://openalex.org/C118615104
concepts[16].level	1
concepts[16].score	0.0
concepts[16].wikidata	https://www.wikidata.org/wiki/Q121416
concepts[16].display_name	Discrete mathematics
keywords[0].id	https://openalex.org/keywords/computer-science
keywords[0].score	0.7753582000732422
keywords[0].display_name	Computer science
keywords[1].id	https://openalex.org/keywords/bisimulation
keywords[1].score	0.6297570466995239
keywords[1].display_name	Bisimulation
keywords[2].id	https://openalex.org/keywords/equivalence
keywords[2].score	0.5844061970710754
keywords[2].display_name	Equivalence (formal languages)
keywords[3].id	https://openalex.org/keywords/code-refactoring
keywords[3].score	0.5585231184959412
keywords[3].display_name	Code refactoring
keywords[4].id	https://openalex.org/keywords/relational-database
keywords[4].score	0.5248273015022278
keywords[4].display_name	Relational database
keywords[5].id	https://openalex.org/keywords/programming-language
keywords[5].score	0.5135000348091125
keywords[5].display_name	Programming language
keywords[6].id	https://openalex.org/keywords/database-schema
keywords[6].score	0.49370989203453064
keywords[6].display_name	Database schema
keywords[7].id	https://openalex.org/keywords/theoretical-computer-science
keywords[7].score	0.4671598970890045
keywords[7].display_name	Theoretical computer science
keywords[8].id	https://openalex.org/keywords/schema
keywords[8].score	0.44591736793518066
keywords[8].display_name	Schema (genetic algorithms)
keywords[9].id	https://openalex.org/keywords/web-application
keywords[9].score	0.4354243874549866
keywords[9].display_name	Web application
keywords[10].id	https://openalex.org/keywords/database
keywords[10].score	0.3855111300945282
keywords[10].display_name	Database
keywords[11].id	https://openalex.org/keywords/database-design
keywords[11].score	0.2644789218902588
keywords[11].display_name	Database design
keywords[12].id	https://openalex.org/keywords/information-retrieval
keywords[12].score	0.2456313669681549
keywords[12].display_name	Information retrieval
keywords[13].id	https://openalex.org/keywords/software
keywords[13].score	0.15510061383247375
keywords[13].display_name	Software
keywords[14].id	https://openalex.org/keywords/mathematics
keywords[14].score	0.12419238686561584
keywords[14].display_name	Mathematics
keywords[15].id	https://openalex.org/keywords/world-wide-web
keywords[15].score	0.11593654751777649
keywords[15].display_name	World Wide Web
language	en
locations[0].id	doi:10.1145/3158144
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4210216081
locations[0].source.issn	2475-1421
locations[0].source.type	journal
locations[0].source.is_oa	False
locations[0].source.issn_l	2475-1421
locations[0].source.is_core	True
locations[0].source.is_in_doaj	False
locations[0].source.display_name	Proceedings of the ACM on Programming Languages
locations[0].source.host_organization	https://openalex.org/P4310319798
locations[0].source.host_organization_name	Association for Computing Machinery
locations[0].source.host_organization_lineage	https://openalex.org/P4310319798
locations[0].source.host_organization_lineage_names	Association for Computing Machinery
locations[0].license
locations[0].pdf_url	https://dl.acm.org/doi/pdf/10.1145/3158144?download=true
locations[0].version	publishedVersion
locations[0].raw_type	journal-article
locations[0].license_id
locations[0].is_accepted	True
locations[0].is_published	True
locations[0].raw_source_name	Proceedings of the ACM on Programming Languages
locations[0].landing_page_url	https://doi.org/10.1145/3158144
locations[1].id	pmh:oai:arXiv.org:1710.07660
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	https://arxiv.org/pdf/1710.07660
locations[1].version	submittedVersion
locations[1].raw_type	text
locations[1].license_id
locations[1].is_accepted	False
locations[1].is_published	False
locations[1].raw_source_name
locations[1].landing_page_url	http://arxiv.org/abs/1710.07660
locations[2].id	mag:2766208582
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
locations[2].pdf_url
locations[2].version	submittedVersion
locations[2].raw_type
locations[2].license_id
locations[2].is_accepted	False
locations[2].is_published	False
locations[2].raw_source_name	arXiv (Cornell University)
locations[2].landing_page_url	https://arxiv.org/pdf/1710.07660.pdf
locations[3].id	doi:10.48550/arxiv.1710.07660
locations[3].is_oa	True
locations[3].source.id	https://openalex.org/S4306400194
locations[3].source.issn
locations[3].source.type	repository
locations[3].source.is_oa	True
locations[3].source.issn_l
locations[3].source.is_core	False
locations[3].source.is_in_doaj	False
locations[3].source.display_name	arXiv (Cornell University)
locations[3].source.host_organization	https://openalex.org/I205783295
locations[3].source.host_organization_name	Cornell University
locations[3].source.host_organization_lineage	https://openalex.org/I205783295
locations[3].license
locations[3].pdf_url
locations[3].version
locations[3].raw_type	article
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.48550/arxiv.1710.07660
indexed_in	arxiv, crossref, datacite
authorships[0].author.id	https://openalex.org/A5101979875
authorships[0].author.orcid	https://orcid.org/0000-0002-7938-5948
authorships[0].author.display_name	Yuepeng Wang
authorships[0].countries	US
authorships[0].affiliations[0].institution_ids	https://openalex.org/I86519309
authorships[0].affiliations[0].raw_affiliation_string	University of Texas at Austin
authorships[0].institutions[0].id	https://openalex.org/I86519309
authorships[0].institutions[0].ror	https://ror.org/00hj54h04
authorships[0].institutions[0].type	education
authorships[0].institutions[0].lineage	https://openalex.org/I86519309
authorships[0].institutions[0].country_code	US
authorships[0].institutions[0].display_name	The University of Texas at Austin
authorships[0].author_position	first
authorships[0].raw_author_name	Yuepeng Wang
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	University of Texas at Austin
authorships[1].author.id	https://openalex.org/A5006424908
authorships[1].author.orcid	https://orcid.org/0000-0001-8006-1230
authorships[1].author.display_name	Işıl Dillig
authorships[1].countries	US
authorships[1].affiliations[0].institution_ids	https://openalex.org/I86519309
authorships[1].affiliations[0].raw_affiliation_string	UT-Austin
authorships[1].institutions[0].id	https://openalex.org/I86519309
authorships[1].institutions[0].ror	https://ror.org/00hj54h04
authorships[1].institutions[0].type	education
authorships[1].institutions[0].lineage	https://openalex.org/I86519309
authorships[1].institutions[0].country_code	US
authorships[1].institutions[0].display_name	The University of Texas at Austin
authorships[1].author_position	middle
authorships[1].raw_author_name	Isil Dillig
authorships[1].is_corresponding	False
authorships[1].raw_affiliation_strings	UT-Austin
authorships[2].author.id	https://openalex.org/A5041084431
authorships[2].author.orcid	https://orcid.org/0000-0002-4446-4777
authorships[2].author.display_name	Shuvendu K. Lahiri
authorships[2].countries	GB
authorships[2].affiliations[0].institution_ids	https://openalex.org/I4210164937
authorships[2].affiliations[0].raw_affiliation_string	Microsoft Research#TAB#
authorships[2].institutions[0].id	https://openalex.org/I4210164937
authorships[2].institutions[0].ror	https://ror.org/05k87vq12
authorships[2].institutions[0].type	company
authorships[2].institutions[0].lineage	https://openalex.org/I1290206253, https://openalex.org/I4210164937
authorships[2].institutions[0].country_code	GB
authorships[2].institutions[0].display_name	Microsoft Research (United Kingdom)
authorships[2].author_position	middle
authorships[2].raw_author_name	Shuvendu K. Lahiri
authorships[2].is_corresponding	False
authorships[2].raw_affiliation_strings	Microsoft Research#TAB#
authorships[3].author.id	https://openalex.org/A5029147559
authorships[3].author.orcid	https://orcid.org/0000-0003-4918-8975
authorships[3].author.display_name	William R. Cook
authorships[3].countries	US
authorships[3].affiliations[0].institution_ids	https://openalex.org/I86519309
authorships[3].affiliations[0].raw_affiliation_string	University of Texas at Austin
authorships[3].institutions[0].id	https://openalex.org/I86519309
authorships[3].institutions[0].ror	https://ror.org/00hj54h04
authorships[3].institutions[0].type	education
authorships[3].institutions[0].lineage	https://openalex.org/I86519309
authorships[3].institutions[0].country_code	US
authorships[3].institutions[0].display_name	The University of Texas at Austin
authorships[3].author_position	last
authorships[3].raw_author_name	William R. Cook
authorships[3].is_corresponding	False
authorships[3].raw_affiliation_strings	University of Texas at Austin
has_content.pdf	True
has_content.grobid_xml	True
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://dl.acm.org/doi/pdf/10.1145/3158144?download=true
open_access.oa_status	bronze
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Verifying equivalence of database-driven applications
has_fulltext	True
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T12479
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.9972000122070312
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1710
primary_topic.subfield.display_name	Information Systems
primary_topic.display_name	Web Application Security Vulnerabilities
related_works	https://openalex.org/W57185801, https://openalex.org/W1532185360, https://openalex.org/W3022762686, https://openalex.org/W3084960259, https://openalex.org/W3123390024, https://openalex.org/W2492341776, https://openalex.org/W330438856, https://openalex.org/W1525300667, https://openalex.org/W2407362339, https://openalex.org/W3033222348, https://openalex.org/W73004951, https://openalex.org/W2473852039, https://openalex.org/W2142381660, https://openalex.org/W2145791437, https://openalex.org/W128837028, https://openalex.org/W2556680237, https://openalex.org/W1561217423, https://openalex.org/W2080342339, https://openalex.org/W1165569327, https://openalex.org/W1567294618
cited_by_count	4
counts_by_year[0].year	2023
counts_by_year[0].cited_by_count	1
counts_by_year[1].year	2020
counts_by_year[1].cited_by_count	2
counts_by_year[2].year	2019
counts_by_year[2].cited_by_count	1
locations_count	4
best_oa_location.id	doi:10.1145/3158144
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4210216081
best_oa_location.source.issn	2475-1421
best_oa_location.source.type	journal
best_oa_location.source.is_oa	False
best_oa_location.source.issn_l	2475-1421
best_oa_location.source.is_core	True
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	Proceedings of the ACM on Programming Languages
best_oa_location.source.host_organization	https://openalex.org/P4310319798
best_oa_location.source.host_organization_name	Association for Computing Machinery
best_oa_location.source.host_organization_lineage	https://openalex.org/P4310319798
best_oa_location.source.host_organization_lineage_names	Association for Computing Machinery
best_oa_location.license
best_oa_location.pdf_url	https://dl.acm.org/doi/pdf/10.1145/3158144?download=true
best_oa_location.version	publishedVersion
best_oa_location.raw_type	journal-article
best_oa_location.license_id
best_oa_location.is_accepted	True
best_oa_location.is_published	True
best_oa_location.raw_source_name	Proceedings of the ACM on Programming Languages
best_oa_location.landing_page_url	https://doi.org/10.1145/3158144
primary_location.id	doi:10.1145/3158144
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4210216081
primary_location.source.issn	2475-1421
primary_location.source.type	journal
primary_location.source.is_oa	False
primary_location.source.issn_l	2475-1421
primary_location.source.is_core	True
primary_location.source.is_in_doaj	False
primary_location.source.display_name	Proceedings of the ACM on Programming Languages
primary_location.source.host_organization	https://openalex.org/P4310319798
primary_location.source.host_organization_name	Association for Computing Machinery
primary_location.source.host_organization_lineage	https://openalex.org/P4310319798
primary_location.source.host_organization_lineage_names	Association for Computing Machinery
primary_location.license
primary_location.pdf_url	https://dl.acm.org/doi/pdf/10.1145/3158144?download=true
primary_location.version	publishedVersion
primary_location.raw_type	journal-article
primary_location.license_id
primary_location.is_accepted	True
primary_location.is_published	True
primary_location.raw_source_name	Proceedings of the ACM on Programming Languages
primary_location.landing_page_url	https://doi.org/10.1145/3158144
publication_date	2017-12-27
publication_year	2017
referenced_works	https://openalex.org/W1975714036, https://openalex.org/W2035020007, https://openalex.org/W2050853996, https://openalex.org/W2003266329, https://openalex.org/W2086991228, https://openalex.org/W57185801, https://openalex.org/W5424990, https://openalex.org/W1999133515, https://openalex.org/W2029670992, https://openalex.org/W2149996206, https://openalex.org/W2375206141, https://openalex.org/W1979514837, https://openalex.org/W2140297147, https://openalex.org/W1970165929, https://openalex.org/W2503947316, https://openalex.org/W2008781243, https://openalex.org/W2079590017, https://openalex.org/W2040811166, https://openalex.org/W153567890, https://openalex.org/W1480909796, https://openalex.org/W1976978933, https://openalex.org/W2149255455, https://openalex.org/W2004188181, https://openalex.org/W2028980140, https://openalex.org/W2113531724, https://openalex.org/W2067871120, https://openalex.org/W2140782052, https://openalex.org/W2293092623, https://openalex.org/W1771925833, https://openalex.org/W2150616017, https://openalex.org/W26752331, https://openalex.org/W2025151754, https://openalex.org/W1596161732, https://openalex.org/W2125379835, https://openalex.org/W2134087751, https://openalex.org/W1545038039, https://openalex.org/W2138224468, https://openalex.org/W1592240200, https://openalex.org/W2014473133, https://openalex.org/W2040856861, https://openalex.org/W2074888021, https://openalex.org/W2911450990, https://openalex.org/W2069752306, https://openalex.org/W2070291209, https://openalex.org/W2056660085, https://openalex.org/W2144562508, https://openalex.org/W2023149698, https://openalex.org/W2418260908, https://openalex.org/W1806382567, https://openalex.org/W1983077483, https://openalex.org/W2122220040, https://openalex.org/W4244028915, https://openalex.org/W2002333089, https://openalex.org/W2026710056, https://openalex.org/W2075573771, https://openalex.org/W2591626899, https://openalex.org/W2115974895, https://openalex.org/W1587844310, https://openalex.org/W2098293014, https://openalex.org/W2015897252, https://openalex.org/W1503955515, https://openalex.org/W132327467, https://openalex.org/W2022198665, https://openalex.org/W2584709123
referenced_works_count	64
abstract_inverted_index.a	9, 71, 92, 109, 123
abstract_inverted_index.20	162
abstract_inverted_index.21	143
abstract_inverted_index.We	89, 116
abstract_inverted_index.by	78
abstract_inverted_index.in	25, 122, 134
abstract_inverted_index.is	22
abstract_inverted_index.no	59
abstract_inverted_index.of	5, 11, 28, 65, 99, 163
abstract_inverted_index.on	96, 142
abstract_inverted_index.or	39
abstract_inverted_index.Our	152
abstract_inverted_index.and	53, 82, 107, 138, 148
abstract_inverted_index.are	58
abstract_inverted_index.can	159
abstract_inverted_index.for	37, 62, 86, 111, 127
abstract_inverted_index.our	135, 140
abstract_inverted_index.the	3, 26, 47, 80, 97, 119, 156
abstract_inverted_index.web	29, 43, 150
abstract_inverted_index.This	0, 20, 68
abstract_inverted_index.also	90
abstract_inverted_index.from	146
abstract_inverted_index.have	46, 117
abstract_inverted_index.over	15, 102
abstract_inverted_index.pair	10
abstract_inverted_index.same	48
abstract_inverted_index.show	154
abstract_inverted_index.step	73
abstract_inverted_index.such	66, 113
abstract_inverted_index.that	13, 155
abstract_inverted_index.this	76
abstract_inverted_index.tool	124, 141
abstract_inverted_index.with	17, 105
abstract_inverted_index.While	42
abstract_inverted_index.after	54
abstract_inverted_index.based	95
abstract_inverted_index.first	72
abstract_inverted_index.paper	1, 69
abstract_inverted_index.proof	93
abstract_inverted_index.takes	70
abstract_inverted_index.there	57
abstract_inverted_index.these	164
abstract_inverted_index.tools	61
abstract_inverted_index.which	31
abstract_inverted_index.before	52
abstract_inverted_index.called	125
abstract_inverted_index.either	36
abstract_inverted_index.notion	98
abstract_inverted_index.schema	55
abstract_inverted_index.should	45
abstract_inverted_index.verify	161
abstract_inverted_index.algebra	104
abstract_inverted_index.between	8, 130
abstract_inverted_index.context	27
abstract_inverted_index.operate	14
abstract_inverted_index.problem	4, 21, 77
abstract_inverted_index.propose	91
abstract_inverted_index.proving	63
abstract_inverted_index.results	153
abstract_inverted_index.solving	75
abstract_inverted_index.towards	74
abstract_inverted_index.undergo	33
abstract_inverted_index.updates	106
abstract_inverted_index.written	133
abstract_inverted_index.Mediator	126
abstract_inverted_index.behavior	51
abstract_inverted_index.checking	84
abstract_inverted_index.database	34
abstract_inverted_index.describe	108
abstract_inverted_index.evaluate	139
abstract_inverted_index.existing	60
abstract_inverted_index.language	137
abstract_inverted_index.problems	85
abstract_inverted_index.programs	12
abstract_inverted_index.proposed	120, 157
abstract_inverted_index.reasons.	41
abstract_inverted_index.schemas.	19
abstract_inverted_index.addresses	2
abstract_inverted_index.databases	16
abstract_inverted_index.different	18
abstract_inverted_index.extracted	145
abstract_inverted_index.important	24
abstract_inverted_index.programs.	67
abstract_inverted_index.technique	110, 121
abstract_inverted_index.textbooks	147
abstract_inverted_index.typically	32
abstract_inverted_index.verifying	6, 128
abstract_inverted_index.benchmarks	144
abstract_inverted_index.externally	49
abstract_inverted_index.invariants	101
abstract_inverted_index.migration,	56
abstract_inverted_index.observable	50
abstract_inverted_index.real-world	149
abstract_inverted_index.refinement	83
abstract_inverted_index.relational	103
abstract_inverted_index.benchmarks.	165
abstract_inverted_index.equivalence	7, 64, 81, 129
abstract_inverted_index.formalizing	79
abstract_inverted_index.implemented	118
abstract_inverted_index.invariants.	115
abstract_inverted_index.methodology	94, 158
abstract_inverted_index.performance	38
abstract_inverted_index.refactoring	35
abstract_inverted_index.applications	44, 132
abstract_inverted_index.bisimulation	100, 114
abstract_inverted_index.intermediate	136
abstract_inverted_index.particularly	23
abstract_inverted_index.successfully	160
abstract_inverted_index.synthesizing	112
abstract_inverted_index.applications,	30
abstract_inverted_index.applications.	88, 151
abstract_inverted_index.database-driven	87, 131
abstract_inverted_index.maintainability	40
cited_by_percentile_year.max	96
cited_by_percentile_year.min	89
countries_distinct_count	2
institutions_distinct_count	4
citation_normalized_percentile.value	0.87280041
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False