{"id":"https://openalex.org/W2803875894","doi":"https://doi.org/10.1145/3212019.3212025","title":"Automatic verification of database-centric systems","display_name":"Automatic verification of database-centric systems","publication_year":2018,"publication_date":"2018-04-30","ids":{"openalex":"https://openalex.org/W2803875894","doi":"https://doi.org/10.1145/3212019.3212025","mag":"2803875894"},"language":"en","primary_location":{"id":"doi:10.1145/3212019.3212025","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3212019.3212025","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3212019.3212025?download=true","source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3212019.3212025?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038619283","display_name":"Alin Deutsch","orcid":null},"institutions":[{"id":"https://openalex.org/I2800935791","display_name":"UC San Diego Health System","ror":"https://ror.org/01kbfgm16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2800935791"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alin Deutsch","raw_affiliation_strings":["UC San Diego"],"affiliations":[{"raw_affiliation_string":"UC San Diego","institution_ids":["https://openalex.org/I2800935791"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014901267","display_name":"Richard Hull","orcid":"https://orcid.org/0000-0001-5534-4482"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Hull","raw_affiliation_strings":["IBM T.J. Watson Research Center"],"affiliations":[{"raw_affiliation_string":"IBM T.J. Watson Research Center","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100750716","display_name":"Yuliang Li","orcid":"https://orcid.org/0000-0002-0602-149X"},"institutions":[{"id":"https://openalex.org/I2800935791","display_name":"UC San Diego Health System","ror":"https://ror.org/01kbfgm16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2800935791"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuliang Li","raw_affiliation_strings":["UC San Diego"],"affiliations":[{"raw_affiliation_string":"UC San Diego","institution_ids":["https://openalex.org/I2800935791"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049457012","display_name":"Victor Vianu","orcid":"https://orcid.org/0000-0002-0671-4456"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Victor Vianu","raw_affiliation_strings":["UC San Diego & INRIA Paris"],"affiliations":[{"raw_affiliation_string":"UC San Diego & INRIA Paris","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5038619283"],"corresponding_institution_ids":["https://openalex.org/I2800935791"],"apc_list":null,"apc_paid":null,"fwci":2.3508,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.898718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"5","issue":"2","first_page":"37","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7982663512229919},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7810657024383545},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.603008508682251},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5753699541091919},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.567365288734436},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5446178317070007},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48128741979599},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42856431007385254}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7982663512229919},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7810657024383545},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.603008508682251},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5753699541091919},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.567365288734436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5446178317070007},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48128741979599},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42856431007385254}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3212019.3212025","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3212019.3212025","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3212019.3212025?download=true","source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3212019.3212025","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3212019.3212025","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3212019.3212025?download=true","source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2803875894.pdf","grobid_xml":"https://content.openalex.org/works/W2803875894.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W126715600","https://openalex.org/W150888925","https://openalex.org/W168941263","https://openalex.org/W1489366126","https://openalex.org/W1490424579","https://openalex.org/W1491220004","https://openalex.org/W1495859460","https://openalex.org/W1570418357","https://openalex.org/W1582292473","https://openalex.org/W1595318561","https://openalex.org/W1598784998","https://openalex.org/W1619948012","https://openalex.org/W1624221421","https://openalex.org/W1728303734","https://openalex.org/W1826327870","https://openalex.org/W1853345069","https://openalex.org/W1875320644","https://openalex.org/W2001799694","https://openalex.org/W2001995757","https://openalex.org/W2003227046","https://openalex.org/W2004188181","https://openalex.org/W2004459113","https://openalex.org/W2006634201","https://openalex.org/W2009852886","https://openalex.org/W2012140001","https://openalex.org/W2014177337","https://openalex.org/W2014246868","https://openalex.org/W2014267653","https://openalex.org/W2015384282","https://openalex.org/W2020260970","https://openalex.org/W2023808162","https://openalex.org/W2025970201","https://openalex.org/W2026088163","https://openalex.org/W2028980140","https://openalex.org/W2029133737","https://openalex.org/W2030788986","https://openalex.org/W2040295920","https://openalex.org/W2043636189","https://openalex.org/W2053455078","https://openalex.org/W2056665285","https://openalex.org/W2062569786","https://openalex.org/W2075536383","https://openalex.org/W2079815456","https://openalex.org/W2086219721","https://openalex.org/W2117952921","https://openalex.org/W2123956338","https://openalex.org/W2135673048","https://openalex.org/W2139725043","https://openalex.org/W2154702004","https://openalex.org/W2156605289","https://openalex.org/W2160527279","https://openalex.org/W2163133050","https://openalex.org/W2163812732","https://openalex.org/W2177814128","https://openalex.org/W2204935731","https://openalex.org/W2206069785","https://openalex.org/W2339225884","https://openalex.org/W2420586850","https://openalex.org/W2434820933","https://openalex.org/W2479757541","https://openalex.org/W2633545396","https://openalex.org/W2748837517","https://openalex.org/W2770613891","https://openalex.org/W2964347059","https://openalex.org/W3102791501","https://openalex.org/W3102946820","https://openalex.org/W3160540205","https://openalex.org/W4212985172","https://openalex.org/W4299675907"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2583111156","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2103740034","https://openalex.org/W1775249002","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619"],"abstract_inverted_index":{"We":[0,53],"present":[1],"an":[2],"overview":[3],"of":[4,8,11,43,48,66],"results":[5,39],"on":[6],"verification":[7,49],"temporal":[9],"properties":[10],"infinite-state":[12],"transition":[13],"systems":[14],"arising":[15],"from":[16,30],"processes":[17],"that":[18,63],"carry":[19],"and":[20,34,45],"manipulate":[21],"unbounded":[22],"data.":[23],"The":[24,37],"techniques":[25],"bring":[26],"into":[27],"play":[28],"tools":[29],"logic,":[31],"database":[32],"theory,":[33],"model":[35],"checking.":[36],"theoretical":[38],"establish":[40],"the":[41,46],"boundaries":[42],"decidability":[44],"complexity":[47],"for":[50,71],"various":[51],"models.":[52],"also":[54],"describe":[55],"verifier":[56],"implementations":[57],"with":[58],"surprisingly":[59],"good":[60],"performance,":[61],"suggesting":[62],"this":[64],"line":[65],"research":[67],"has":[68],"real":[69],"potential":[70],"practical":[72],"impact.":[73]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-31T07:56:22.981413","created_date":"2025-10-10T00:00:00"}