乐胖代购免代理版

{"id":"https://openalex.org/W3011376106","doi":"https://doi.org/10.1145/3572836","title":"On Monotonic Determinacy and Rewritability for Recursive Queries and Views","display_name":"On Monotonic Determinacy and Rewritability for Recursive Queries and Views","publication_year":2023,"publication_date":"2023-01-05","ids":{"openalex":"https://openalex.org/W3011376106","doi":"https://doi.org/10.1145/3572836","mag":"3011376106"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572836","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.1145/3572836","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037774973","display_name":"Michael Benedikt","orcid":"https://orcid.org/0000-0003-2964-0880"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Benedikt","raw_affiliation_strings":["University of Oxford, Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064954954","display_name":"Stanislav Kikot","orcid":"https://orcid.org/0000-0002-2371-5821"},"institutions":[{"id":"https://openalex.org/I4210107660","display_name":"Institute for Information Transmission Problems","ror":"https://ror.org/013w2d378","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210097085","https://openalex.org/I4210107660"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Stanislav Kikot","raw_affiliation_strings":["Institute for Information Transmission Problems, Russia"],"affiliations":[{"raw_affiliation_string":"Institute for Information Transmission Problems, Russia","institution_ids":["https://openalex.org/I4210107660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061160726","display_name":"Piotr Ostropolski-Nalewaja","orcid":"https://orcid.org/0000-0002-8021-1638"},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Piotr Ostropolski-Nalewaja","raw_affiliation_strings":["University of Wroclaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Wroclaw, Poland","institution_ids":["https://openalex.org/I219388962"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068180032","display_name":"Miguel Romero","orcid":"https://orcid.org/0000-0002-2615-6455"},"institutions":[{"id":"https://openalex.org/I21067949","display_name":"Adolfo Ib\u00e1\u00f1ez University","ror":"https://ror.org/0326knt82","country_code":"CL","type":"education","lineage":["https://openalex.org/I21067949"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Miguel Romero","raw_affiliation_strings":["Universidad Adolfo Ib\u00e1\u00f1ez, Chile"],"affiliations":[{"raw_affiliation_string":"Universidad Adolfo Ib\u00e1\u00f1ez, Chile","institution_ids":["https://openalex.org/I21067949"]}]}],"institution_assertions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":67},"biblio":{"volume":"24","issue":"2","first_page":"1","last_page":"62"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9925,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9925,"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.9922,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9853,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/determinacy","display_name":"Determinacy","score":0.8850106},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.79598695},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.75574565},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.5815094}],"concepts":[{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.8850106},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.8300303},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.79598695},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.79122615},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.75574565},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.5815094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48861438},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46858996},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44072384},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.43844023},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.41679385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38933295},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37819645},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.25369483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23840177},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.18624675},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.13797492},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.12281203},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.0},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572836","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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},{"is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:d8c5e629-9e0a-4caf-b1dc-fee25dc886e7","pdf_url":"https://ora.ox.ac.uk/objects/uuid:d8c5e629-9e0a-4caf-b1dc-fee25dc886e7/files/spv63g036p","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":["University of Oxford"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://repository.londonmet.ac.uk/5792/1/2003.05898.pdf","pdf_url":"http://repository.londonmet.ac.uk/5792/1/2003.05898.pdf","source":{"id":"https://openalex.org/S4306400141","display_name":"London Met Repository (London Metropolitan University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126193024","host_organization_name":"London Metropolitan University","host_organization_lineage":["https://openalex.org/I126193024"],"host_organization_lineage_names":["London Metropolitan University"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false},{"is_oa":true,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:7cccbfc6-2ab7-4aa4-a7bb-dd705ccdc3e0","pdf_url":"https://ora.ox.ac.uk/objects/uuid:7cccbfc6-2ab7-4aa4-a7bb-dd705ccdc3e0/files/s9k41zf68z","source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":["University of Oxford"],"type":"repository"},"license":"mit","license_id":"https://openalex.org/licenses/mit","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2003.05898","pdf_url":"https://arxiv.org/pdf/2003.05898","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3572836","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality education","score":0.56}],"grants":[{"funder":"https://openalex.org/F4320322650","funder_display_name":"Narodowym Centrum Nauki","award_id":"2016/23/B/ST6/01438"},{"funder":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council","award_id":"EP/M005852/1, EP/N014359/1, P/L012138/1"}],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W1558832481","https://openalex.org/W1594732291","https://openalex.org/W1603707154","https://openalex.org/W187851124","https://openalex.org/W1894718966","https://openalex.org/W1924671213","https://openalex.org/W1965547751","https://openalex.org/W1975733288","https://openalex.org/W1994840586","https://openalex.org/W1995214664","https://openalex.org/W1999377429","https://openalex.org/W2028357390","https://openalex.org/W2056660085","https://openalex.org/W2066684585","https://openalex.org/W2069760772","https://openalex.org/W2073227282","https://openalex.org/W2081973669","https://openalex.org/W2093480367","https://openalex.org/W2118324648","https://openalex.org/W2154293623","https://openalex.org/W2158405910","https://openalex.org/W2179506702","https://openalex.org/W2224428998","https://openalex.org/W2254540169","https://openalex.org/W2291810008","https://openalex.org/W2341631904","https://openalex.org/W2773069775","https://openalex.org/W2887232800","https://openalex.org/W2899483539","https://openalex.org/W2962877328","https://openalex.org/W2979988222","https://openalex.org/W3173409349","https://openalex.org/W4212857488","https://openalex.org/W4251033482","https://openalex.org/W4396843078"],"related_works":["https://openalex.org/W4387929624","https://openalex.org/W3197317266","https://openalex.org/W2435875632","https://openalex.org/W2395630030","https://openalex.org/W2338525844","https://openalex.org/W2258149899","https://openalex.org/W2102635071","https://openalex.org/W20972493","https://openalex.org/W1976924726","https://openalex.org/W1900017563"],"abstract_inverted_index":{"A":[0],"query":[1,57,72],"Q":[2,13],"is":[3,47],"monotonically":[4],"determined":[5],"over":[6],"a":[7,18,40],"set":[8],"of":[9,21,28,42,94],"views":[10,31,58,66],"V":[11],"if":[12],"can":[14],"be":[15],"expressed":[16],"as":[17,39,54],"monotonic":[19,34,87,95],"function":[20],"the":[22,26,63,70,83,92],"view":[23],"image.":[24],"In":[25],"case":[27],"relational":[29],"algebra":[30],"and":[32,45,59,67,79,89],"queries,":[33,44],"determinacy":[35,96],"coincides":[36],"with":[37,97],"rewritability":[38],"union":[41],"conjunctive":[43,56],"it":[46],"decidable":[48],"in":[49,69],"important":[50],"special":[51],"cases,":[52],"such":[53],"for":[55,65],"queries.":[60],"We":[61,75],"investigate":[62],"situation":[64],"queries":[68],"recursive":[71],"language":[73],"Datalog.":[74],"give":[76],"both":[77],"positive":[78],"negative":[80],"results":[81],"about":[82,91],"ability":[84],"to":[85],"decide":[86],"determinacy,":[88],"also":[90],"co-incidence":[93],"Datalog":[98],"rewritability.":[99]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3011376106","counts_by_year":[],"updated_date":"2025-01-07T10:39:55.728496","created_date":"2020-03-23"}