{"id":"https://openalex.org/W3210466936","doi":"https://doi.org/10.1145/3452021.3458317","title":"Synchronization Schemas","display_name":"Synchronization Schemas","publication_year":2021,"publication_date":"2021-06-18","ids":{"openalex":"https://openalex.org/W3210466936","doi":"https://doi.org/10.1145/3452021.3458317","mag":"3210466936"},"language":"en","primary_location":{"id":"doi:10.1145/3452021.3458317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452021.3458317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065059795","display_name":"Rajeev Alur","orcid":"https://orcid.org/0000-0003-1733-7083"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajeev Alur","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034265332","display_name":"Phillip Hilliard","orcid":"https://orcid.org/0009-0009-0599-9224"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip Hilliard","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063822723","display_name":"Zachary G. Ives","orcid":"https://orcid.org/0000-0001-7527-2957"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary G. Ives","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054940489","display_name":"\u039a\u03c9\u03bd\u03c3\u03c4\u03b1\u03bd\u03c4\u03af\u03bd\u03bf\u03c2 \u039a\u03b1\u03bb\u03bb\u03ac\u03c2","orcid":"https://orcid.org/0000-0002-8984-6648"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Konstantinos Kallas","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052392314","display_name":"Konstantinos Mamouras","orcid":"https://orcid.org/0000-0003-1209-7738"},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Konstantinos Mamouras","raw_affiliation_strings":["Rice University, Houston, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rice University, Houston, TX, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072101985","display_name":"Filip Niksic","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Filip Niksic","raw_affiliation_strings":["Google, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google, New York, NY, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019472033","display_name":"Caleb Stanford","orcid":"https://orcid.org/0000-0002-8428-7736"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Caleb Stanford","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036528289","display_name":"Val Tannen","orcid":"https://orcid.org/0009-0008-6847-7274"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Val Tannen","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080637066","display_name":"Anton Xue","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anton Xue","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3207,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62579034,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987000226974487,"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/T11106","display_name":"Data Management and Algorithms","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.832126259803772},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.599921703338623},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.522310197353363},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47792893648147583},{"id":"https://openalex.org/keywords/data-stream-mining","display_name":"Data stream mining","score":0.4721778929233551},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.45916232466697693},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.45599645376205444},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.41646820306777954},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.277155339717865},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25447046756744385},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24466529488563538}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.832126259803772},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.599921703338623},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.522310197353363},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47792893648147583},{"id":"https://openalex.org/C89198739","wikidata":"https://www.wikidata.org/wiki/Q3079880","display_name":"Data stream mining","level":2,"score":0.4721778929233551},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.45916232466697693},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.45599645376205444},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41646820306777954},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.277155339717865},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25447046756744385},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24466529488563538},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3452021.3458317","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3452021.3458317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.800000011920929,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W1504504841","https://openalex.org/W1597755753","https://openalex.org/W1976821017","https://openalex.org/W1991271936","https://openalex.org/W1996185014","https://openalex.org/W2008503861","https://openalex.org/W2010801412","https://openalex.org/W2019909852","https://openalex.org/W2019933064","https://openalex.org/W2025387515","https://openalex.org/W2043055611","https://openalex.org/W2082171780","https://openalex.org/W2089589666","https://openalex.org/W2092398161","https://openalex.org/W2098678491","https://openalex.org/W2099395665","https://openalex.org/W2101207848","https://openalex.org/W2106089390","https://openalex.org/W2114852717","https://openalex.org/W2119745055","https://openalex.org/W2125415493","https://openalex.org/W2131886132","https://openalex.org/W2133802856","https://openalex.org/W2135038323","https://openalex.org/W2135216003","https://openalex.org/W2135499008","https://openalex.org/W2148222209","https://openalex.org/W2149233085","https://openalex.org/W2149576945","https://openalex.org/W2150320481","https://openalex.org/W2153753043","https://openalex.org/W2153972927","https://openalex.org/W2156212081","https://openalex.org/W2157260510","https://openalex.org/W2157355837","https://openalex.org/W2161569281","https://openalex.org/W2165207129","https://openalex.org/W2166604013","https://openalex.org/W2167274498","https://openalex.org/W2247317079","https://openalex.org/W2399084089","https://openalex.org/W2443187291","https://openalex.org/W2566979091","https://openalex.org/W2591953675","https://openalex.org/W2625056554","https://openalex.org/W2753910905","https://openalex.org/W2766000922","https://openalex.org/W2884432391","https://openalex.org/W2900329873","https://openalex.org/W2913854892","https://openalex.org/W2932883703","https://openalex.org/W2947484926","https://openalex.org/W2955965928","https://openalex.org/W2964273806","https://openalex.org/W2990158651","https://openalex.org/W3017159537","https://openalex.org/W3023901936","https://openalex.org/W3047491832","https://openalex.org/W3100469037","https://openalex.org/W3105057358","https://openalex.org/W3109947077","https://openalex.org/W3137220996","https://openalex.org/W6635964534","https://openalex.org/W6681907930"],"related_works":["https://openalex.org/W2378076731","https://openalex.org/W4286888643","https://openalex.org/W3210795196","https://openalex.org/W2088988140","https://openalex.org/W2103019253","https://openalex.org/W2951529875","https://openalex.org/W2391453316","https://openalex.org/W2297768894","https://openalex.org/W1988064119","https://openalex.org/W4236625958"],"abstract_inverted_index":{"We":[0,126],"present":[1],"a":[2,18,75,133,154,174],"type-theoretic":[3],"framework":[4,45],"for":[5,9,136,161],"data":[6,52,92],"stream":[7,129],"processing":[8],"real-time":[10],"decision":[11],"making,":[12],"where":[13],"the":[14],"desired":[15],"computation":[16],"involves":[17],"mix":[19],"of":[20,28,68,91,104,107,124,139,170,176],"sequential":[21,47],"computation,":[22,35],"such":[23,36,99,143],"as":[24,37,60,66,100,132,173],"smoothing":[25],"and":[26,30,32,42,49,62,85,114,117,165],"detection":[27],"peaks":[29],"surges,":[31],"naturally":[33,96],"parallel":[34,163],"relational":[38,50,79],"operations,":[39],"key-based":[40],"partitioning,":[41],"map-reduce.":[43],"Our":[44],"unifies":[46],"(ordered)":[48],"(unordered)":[51],"models.":[53],"In":[54],"particular,":[55],"we":[56],"define":[57],"synchronization":[58,72,86],"schemas":[59],"types,":[61],"series-parallel":[63,128],"streams":[64,95,108],"(SPS)":[65],"objects":[67,98],"these":[69],"types.":[70],"A":[71],"schema":[73],"imposes":[74],"hierarchical":[76],"structure":[77,156],"over":[78,142],"types":[80],"that":[81,157],"succinctly":[82],"captures":[83],"ordering":[84],"requirements":[87],"among":[88],"different":[89],"kinds":[90],"items.":[93],"Series-parallel":[94],"model":[97],"relations,":[101,105],"sequences,":[102],"sequences":[103],"sets":[106],"indexed":[109],"by":[110,122],"key":[111],"values,":[112],"time-based":[113],"event-based":[115],"windows,":[116],"more":[118],"complex":[119,171],"structures":[120],"obtained":[121],"nesting":[123],"these.":[125],"introduce":[127],"transformers":[130],"(SPST)":[131],"domain-specific":[134],"language":[135],"modular":[137,155],"specification":[138,169],"deterministic":[140],"transformations":[141,150],"streams.":[144],"SPSTs":[145],"provably":[146],"specify":[147],"only":[148],"monotonic":[149],"allowing":[151,168],"streamability,":[152],"have":[153],"can":[158],"be":[159],"exploited":[160],"correct":[162],"implementation,":[164],"are":[166],"composable":[167],"queries":[172],"pipeline":[175],"transformations.":[177]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}