乐胖代购免代理版

{"id":"https://openalex.org/W1978058195","doi":"https://doi.org/10.1093/logcom/9.5.737","title":"Declarative PTIME queries for relational databases using quantifier elimination","display_name":"Declarative PTIME queries for relational databases using quantifier elimination","publication_year":1999,"publication_date":"1999-10-01","ids":{"openalex":"https://openalex.org/W1978058195","doi":"https://doi.org/10.1093/logcom/9.5.737","mag":"1978058195"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/9.5.737","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5043644928","display_name":"Patrick Doherty","orcid":"https://orcid.org/0000-0003-2308-7412"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"funder","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Patrick Doherty","raw_affiliation_strings":["IDA; Link\u00f6ping University; Sweden"],"affiliations":[{"raw_affiliation_string":"IDA; Link\u00f6ping University; Sweden","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045311766","display_name":"Witold \u0141ukaszewicz","orcid":"https://orcid.org/0000-0002-7916-4803"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Witold Lukaszewicz","raw_affiliation_strings":["Instytut Informatyki"],"affiliations":[{"raw_affiliation_string":"Instytut Informatyki","institution_ids":["https://openalex.org/I32943570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007619026","display_name":"Andrzej Sza\u0142as","orcid":"https://orcid.org/0000-0002-6000-6581"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Andrzej Szalas","raw_affiliation_strings":["Instytut Informatyki"],"affiliations":[{"raw_affiliation_string":"Instytut Informatyki","institution_ids":["https://openalex.org/I32943570"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.999,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":17,"citation_normalized_percentile":{"value":0.855104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":82,"max":83},"biblio":{"volume":"9","issue":"5","first_page":"737","last_page":"758"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9992,"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.9992,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9992,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9974,"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/p","display_name":"P","score":0.93847823},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.89380133},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.80213237},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7046337},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4305359},{"id":"https://openalex.org/keywords/boolean-conjunctive-query","display_name":"Boolean conjunctive query","score":0.42730033},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4224083}],"concepts":[{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.93847823},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.89380133},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.80213237},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7046337},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.66278553},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.600753},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.5132575},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5045861},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4978807},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4305359},{"id":"https://openalex.org/C24755975","wikidata":"https://www.wikidata.org/wiki/Q4943354","display_name":"Boolean conjunctive query","level":5,"score":0.42730033},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.42312047},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4224083},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.4112762},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.390248},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3456372},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.30993736},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2788093},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.26572135},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23794252},{"id":"https://openalex.org/C192939062","wikidata":"https://www.wikidata.org/wiki/Q104840822","display_name":"Sargable","level":4,"score":0.19134584},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18831378},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.16622645},{"id":"https://openalex.org/C164120249","wikidata":"https://www.wikidata.org/wiki/Q995982","display_name":"Web search query","level":3,"score":0.097798735},{"id":"https://openalex.org/C97854310","wikidata":"https://www.wikidata.org/wiki/Q19541","display_name":"Search engine","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/9.5.737","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2963364464","https://openalex.org/W2951002752","https://openalex.org/W2807906004","https://openalex.org/W2551830925","https://openalex.org/W2261395231","https://openalex.org/W2258149899","https://openalex.org/W2156776134","https://openalex.org/W205944785","https://openalex.org/W1977121595","https://openalex.org/W1754725800"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,35],"consider":[4,141],"the":[5,28,48,71,77,84,109,121,143],"problem":[6],"of":[7,51,79],"expressing":[8],"and":[9,47,67,97,139],"computing":[10],"queries":[11,40,53,127],"on":[12,135],"relational":[13,29,147],"deductive":[14],"databases":[15,30,148],"in":[16,31,43,56,117,128,133],"a":[17,98,102],"purely":[18,81],"declarative":[19],"query":[20,99],"language,":[21],"called":[22],"SHQL":[23,39,75,129],"(Semi-Horn":[24],"Query":[25],"Language).":[26],"Assuming":[27],"question":[32],"are":[33,41],"ordered,":[34],"show":[36],"that":[37,74],"all":[38],"computable":[42],"PTIME":[44,52,122],"(polynomial":[45],"time)":[46],"whole":[49],"class":[50],"is":[54,73,87,100,131],"expressible":[55],"SHQL.":[57],"Although":[58],"similar":[59],"results":[60],"have":[61],"been":[62],"proven":[63],"for":[64],"fixpoint":[65],"languages":[66],"extensions":[68],"to":[69,125,145,152],"datalog,":[70],"claim":[72],"has":[76],"advantage":[78],"being":[80],"declarative,":[82],"where":[83],"negation":[85],"operator":[86],"interpreted":[88],"as":[89],"classical":[90],"negation,":[91],"mixed":[92],"quantifiers":[93],"may":[94],"be":[95],"used":[96,124],"simply":[101],"restricted":[103],"first-order":[104],"theory":[105],"not":[106],"limited":[107],"by":[108],"rule-based":[110],"syntactic":[111],"restrictions":[112],"associated":[113],"with":[114],"logic":[115],"programs":[116],"general.":[118],"We":[119],"describe":[120],"algorithm":[123],"compute":[126],"which":[130],"based":[132],"part":[134],"quantifier":[136],"elimination":[137],"techniques":[138],"also":[140],"extending":[142],"method":[144],"incomplete":[146],"using":[149],"intuitions":[150],"related":[151],"circumscription":[153],"techniques.":[154]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1978058195","counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-04-22T02:39:26.811090","created_date":"2016-06-24"}