{"id":"https://openalex.org/W2002748825","doi":"https://doi.org/10.1006/inco.1998.2701","title":"Reflective Relational Machines","display_name":"Reflective Relational Machines","publication_year":1998,"publication_date":"1998-06-01","ids":{"openalex":"https://openalex.org/W2002748825","doi":"https://doi.org/10.1006/inco.1998.2701","mag":"2002748825"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1006/inco.1998.2701","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1006/inco.1998.2701","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109033942","display_name":"Serge Abiteboul","orcid":null},"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":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Serge Abiteboul","raw_affiliation_strings":["INRIA, France"],"affiliations":[{"raw_affiliation_string":"INRIA, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104056982","display_name":"Christos H. Papadimitriou","orcid":"https://orcid.org/0009-0004-6462-2316"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christos H. Papadimitriou","raw_affiliation_strings":["[University of California at Berkeley, Berkeley]"],"affiliations":[{"raw_affiliation_string":"[University of California at Berkeley, Berkeley]","institution_ids":["https://openalex.org/I95457486"]}]},{"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/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Vianu","raw_affiliation_strings":["University of California at San Diego, La Jolla."],"affiliations":[{"raw_affiliation_string":"University of California at San Diego, La Jolla.","institution_ids":["https://openalex.org/I36258959"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2630,"currency":"USD","value_usd":2630,"provenance":"doaj"},"apc_paid":null,"fwci":1.233,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.874355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":81},"biblio":{"volume":"143","issue":"2","first_page":"110","last_page":"136"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Data Stream Management Systems and Techniques","score":0.9998,"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":"Data Stream Management Systems and Techniques","score":0.9998,"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 Programming and Knowledge Representation","score":0.9956,"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/T10772","display_name":"Distributed Fault Tolerance and Consistency in Systems","score":0.9932,"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/relational-database-systems","display_name":"Relational Database Systems","score":0.594432},{"id":"https://openalex.org/keywords/sublinear-function","display_name":"Sublinear function","score":0.56859875},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint Logic Programming","score":0.557595},{"id":"https://openalex.org/keywords/column-oriented-database-systems","display_name":"Column-oriented Database Systems","score":0.546893},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer Set Programming","score":0.54475},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal Logic","score":0.542525},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.449614},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.41024858}],"concepts":[{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.7697519},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6601041},{"id":"https://openalex.org/C117160843","wikidata":"https://www.wikidata.org/wiki/Q338652","display_name":"Sublinear function","level":2,"score":0.56859875},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.4884738},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48303518},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.449614},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.43792868},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.42913708},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.41024858},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.3671513},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.36164147},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33834052},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33552283},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.31091607},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29288813},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28424722},{"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1006/inco.1998.2701","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1006/inco.1998.2701","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":42,"referenced_works":["https://openalex.org/W134510267","https://openalex.org/W1457540691","https://openalex.org/W1508184538","https://openalex.org/W1580836907","https://openalex.org/W1584754980","https://openalex.org/W1814710822","https://openalex.org/W1929994216","https://openalex.org/W1970629906","https://openalex.org/W197263876","https://openalex.org/W1974959615","https://openalex.org/W1984280364","https://openalex.org/W1984581643","https://openalex.org/W1984890936","https://openalex.org/W1984930242","https://openalex.org/W1997020216","https://openalex.org/W2004943427","https://openalex.org/W2005835473","https://openalex.org/W2017839108","https://openalex.org/W2037394610","https://openalex.org/W2055874330","https://openalex.org/W2069462712","https://openalex.org/W2079745007","https://openalex.org/W2082914262","https://openalex.org/W2088094394","https://openalex.org/W2088300760","https://openalex.org/W2093779107","https://openalex.org/W2104881994","https://openalex.org/W2111302825","https://openalex.org/W2132541147","https://openalex.org/W2132750992","https://openalex.org/W2134054571","https://openalex.org/W2317459460","https://openalex.org/W2408316610","https://openalex.org/W2487010550","https://openalex.org/W2489748212","https://openalex.org/W25304578","https://openalex.org/W2572141284","https://openalex.org/W3127113455","https://openalex.org/W4237737356","https://openalex.org/W4241108585","https://openalex.org/W43155751","https://openalex.org/W769729111"],"related_works":["https://openalex.org/W4293059963","https://openalex.org/W4211259775","https://openalex.org/W3204615532","https://openalex.org/W2240543079","https://openalex.org/W2162177529","https://openalex.org/W2160698488","https://openalex.org/W2027321599","https://openalex.org/W2026191634","https://openalex.org/W1984423678","https://openalex.org/W1536078516"],"abstract_inverted_index":{"We":[0,102],"propose":[1],"a":[2],"model":[3],"of":[4,9,24,29,39,56,69,107,118,124],"database":[5],"programming":[6,14],"withreflection(dynamic":[7],"generation":[8],"queries":[10],"within":[11],"the":[12,22,35,40,70,105,108,116,122],"host":[13],"language),":[15],"called":[16],"thereflective":[17],"relational":[18,42,110],"machine,":[19],"and":[20,49,59,86],"characterize":[21],"power":[23,106],"this":[25],"machine":[26,43,111],"in":[27,83],"terms":[28],"known":[30],"complexity":[31],"classes.":[32],"In":[33],"particular,":[34],"polynomial":[36,57],"time":[37],"restriction":[38],"reflective":[41,109],"is":[44,96],"shown":[45],"to":[46,50,53,113],"express":[47],"PSPACE,":[48],"correspond":[51],"precisely":[52],"uniform":[54,71],"circuits":[55],"depth":[58],"exponential":[60],"size.":[61],"This":[62],"provides":[63],"an":[64],"alternative,":[65],"logic":[66,84],"based":[67],"formulation":[68],"circuit":[72],"model,":[73],"which":[74,95],"may":[75],"be":[76],"more":[77,92],"convenient":[78],"for":[79,91],"problems":[80],"naturally":[81],"formulated":[82],"terms,":[85],"establishes":[87],"that":[88],"reflection":[89],"allows":[90],"\u201cintense\u201d":[93],"parallelism,":[94],"not":[97],"attainable":[98],"otherwise":[99],"(unless":[100],"P=PSPACE).":[101],"also":[103],"explore":[104],"subject":[112],"restrictions":[114],"on":[115],"number":[117],"variables":[119],"used,":[120],"emphasizing":[121],"case":[123],"sublinear":[125],"bounds.":[126]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2002748825","counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2024-10-14T08:18:36.816489","created_date":"2016-06-24"}
