{"id":"https://openalex.org/W4396892533","doi":"https://doi.org/10.1145/3651596","title":"Postulates for Provenance: Instance-based provenance for first-order logic","display_name":"Postulates for Provenance: Instance-based provenance for first-order logic","publication_year":2024,"publication_date":"2024-05-10","ids":{"openalex":"https://openalex.org/W4396892533","doi":"https://doi.org/10.1145/3651596"},"language":"en","primary_location":{"id":"doi:10.1145/3651596","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3651596","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://biblio.vub.ac.be/vubirfiles/112583401/ProvenanceFO.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["Vrije Universiteit Brussel, Brussels, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-3460-4251","affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Brussels, Belgium","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033452636","display_name":"Maxime Jakubowski","orcid":"https://orcid.org/0000-0002-7420-1337"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Maxime Jakubowski","raw_affiliation_strings":["Universiteit Hasselt, Hasselt, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-7420-1337","affiliations":[{"raw_affiliation_string":"Universiteit Hasselt, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089823917","display_name":"Jan Van den Bussche","orcid":"https://orcid.org/0000-0003-0072-3252"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Van den Bussche","raw_affiliation_strings":["Universiteit Hasselt, Hasselt, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-0072-3252","affiliations":[{"raw_affiliation_string":"Universiteit Hasselt, Hasselt, Belgium","institution_ids":["https://openalex.org/I878454856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7361,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.92329641,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"2","issue":"2","first_page":"1","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11937","display_name":"Research Data Management Practices","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11719","display_name":"Data Quality and Management","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/provenance","display_name":"Provenance","score":0.9409818053245544},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5148159861564636},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4471743106842041},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.11962488293647766},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.0796387791633606},{"id":"https://openalex.org/keywords/paleontology","display_name":"Paleontology","score":0.06401556730270386}],"concepts":[{"id":"https://openalex.org/C2780049196","wikidata":"https://www.wikidata.org/wiki/Q23582628","display_name":"Provenance","level":2,"score":0.9409818053245544},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5148159861564636},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4471743106842041},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.11962488293647766},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0796387791633606},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.06401556730270386},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3651596","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3651596","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:175182","is_oa":true,"landing_page_url":"https://biblio.vub.ac.be/vubir/postulates-for-provenance-instancebased-provenance-for-firstorder(4dae73a1-c90b-4702-ace9-a398db40186a).html","pdf_url":"https://biblio.vub.ac.be/vubirfiles/112583401/ProvenanceFO.pdf","source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:documentserver.uhasselt.be:1942/45502","is_oa":true,"landing_page_url":"http://hdl.handle.net/1942/45502","pdf_url":null,"source":{"id":"https://openalex.org/S4306401926","display_name":"Document Server@UHasselt (UHasselt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I878454856","host_organization_name":"Hasselt University","host_organization_lineage":["https://openalex.org/I878454856"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:vubissmart:VUBISSMART:2000:175182","is_oa":true,"landing_page_url":"https://biblio.vub.ac.be/vubir/postulates-for-provenance-instancebased-provenance-for-firstorder(4dae73a1-c90b-4702-ace9-a398db40186a).html","pdf_url":"https://biblio.vub.ac.be/vubirfiles/112583401/ProvenanceFO.pdf","source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.5099999904632568,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396892533.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1983178058","https://openalex.org/W2003531456","https://openalex.org/W2025243709","https://openalex.org/W2071894919","https://openalex.org/W2124026371","https://openalex.org/W2126762971","https://openalex.org/W2133986470","https://openalex.org/W2137819283","https://openalex.org/W2143891888","https://openalex.org/W2151485489","https://openalex.org/W2167541073","https://openalex.org/W2297697128","https://openalex.org/W2561675875","https://openalex.org/W2591885801","https://openalex.org/W2888214251","https://openalex.org/W3105772138","https://openalex.org/W4206220710","https://openalex.org/W4230159918","https://openalex.org/W4243087663"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2354627941","https://openalex.org/W2347483153","https://openalex.org/W2353379336","https://openalex.org/W2379683085","https://openalex.org/W2363868702","https://openalex.org/W2374448931","https://openalex.org/W2376723740","https://openalex.org/W2370535391"],"abstract_inverted_index":{"Instance-based":[0],"provenance":[1,44,54,106],"is":[2,56,84,101],"an":[3,85,102],"explanation":[4],"for":[5,36],"a":[6,13],"query":[7],"result":[8],"in":[9],"the":[10,16,53,57,64],"form":[11],"of":[12,15,39,52,66,77,89,92],"subinstance":[14],"database.":[17],"We":[18],"investigate":[19],"different":[20],"desiderata":[21],"one":[22],"may":[23],"want":[24],"to":[25,43,74,104,114],"impose":[26],"on":[27],"these":[28],"subinstances.":[29],"Concretely":[30],"we":[31,62],"consider":[32,63],"seven":[33],"basic":[34,59,78],"postulates":[35,93],"provenance.":[37],"Six":[38],"them":[40],"relate":[41],"subinstances":[42],"polynomials,":[45],"three-valued":[46,108],"semantics,":[47],"and":[48,87],"Halpern-Pearl":[49],"causality.":[50],"Determinism":[51],"mechanism":[55],"seventh":[58],"postulate.":[60],"Moreover,":[61],"postulate":[65],"minimality,":[67],"which":[68,90,110],"can":[69],"be":[70],"imposed":[71],"with":[72],"respect":[73],"any":[75],"set":[76],"postulates.":[79],"Our":[80,97],"main":[81,98],"technical":[82],"contribution":[83,100],"analysis":[86],"characterisation":[88],"combinations":[91],"are":[94],"jointly":[95],"satisfiable.":[96],"conceptual":[99],"approach":[103],"instance-based":[105],"through":[107],"instances,":[109],"makes":[111],"it":[112],"applicable":[113],"first-order":[115],"logic":[116],"queries":[117],"involving":[118],"negation.":[119]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}