{“id”:“https://openalex.org/W2013710386“,”doi“:”https://doi.org/10.1006/jsco.1996.0070“,”title“:”A Non-standard Temporal Deductive Database System“,”display_name“:”B Non-standard Temperal Deducative Database Systems“,”publication_year“:1996,”publitation_date“:”1996-11-01“,”ids“:{”openalex“:”https://openalex.org/W2013710386“,”doi“:”https://doi.org/10.1006/jsco.1996.0070“,”mag“:”2013710386“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1006/jsco.1996.0070“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S18904315“,”display_name“:”符号计算杂志“,”issn_l“:”0747-7171“,”isn“:[”07477771“,”1095-855X“],”is_oa“:false,”is_in_doaj“:false,”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”,“licence_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“:”青铜“,”oa_url“:”https://doi.org/10.1006/jsco.1996.0070“,”any_repository_has_fulltext“:false},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5016548116“,”display_name“:”Jean-Raymond Gagn\u00e9“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I43406934“,”display_name“:”Universit\u00e9 Laval“,”ror“:”https://ror.org/04sjchr03“,”country_code“:”CA“,”type“:“教育”,”世系“:[”https://openalex.org/I43406934“]}],”国家“:[”CA“],”is_corresponding“:false,”raw_author_name“:”JEAN-RAYMOND GAGN\u00c9“,”raw _ afiliation_strings“:[“D\u00e9partment D'informatique,University \u00e 9 Laval,Ste-Foy(魁北克),G1K 7P4,Canada”],“affiliations”:[{“raw_affiliation_string”:“D\u 00e9Partition D'infomatique,university \u 00e 9 Laval,Ste-Foy(魁北克省),G1K 7P4,加拿大“,”institution_ids“:[”https://openalex.org/I43406934“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5003886742“,”display_name“:”John Plaice“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I43406934“,”display_name“:”Universit\u00e9 Laval“,”ror“:”https://ror.org/04sjchr03“,”country_code“:”CA“,”type“:“教育”,”世系“:[”https://openalex.org/I43406934“]}],”国家“:[”CA“],”is_corresponding“:false,”raw_author_name“:”JOHN PLAICE“,”raw _ afiliation_strings“:[“D\u00e9partitement D'informatique,University \u00e 9 Laval,Ste-Foy(魁北克),G1K 7P4,Canada”],“afliations”:[{“raw_affiliation_string”:“D\u 00e9Partition D'infomatique,university \u 00e 9拉瓦尔,Ste-Foi(魁北克省),G1K 7P4,加拿大“,”机构ID“:[”https://openalex.org/I43406934“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]”,“apc_list”:{“value”:2770,“currency”:“USD”,“value_USD”:27700,“provenance”:“doaj”},“apc _payd”:null,“has_fulltext”:true,“fulltext_origin”:“ngrams”,“cited_by_count):17,”cited_by_percentile_year“:{“最小值”:84,“最大值”:85},”biblio“:{”volume“:”22“,”issue“:”5-6“,”first_page“:”649“,”last_page“:“664”},”is_retracted“:false,”is_paratext“:false,”primary_topic“:”https://openalex.org/T10317“,”display_name“:”数据流管理系统和技术“,”score“:0.9966,”subfield“:{”id“:”https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10317“,”“display_name”:“数据流管理系统和技术”,“score”:0.9966,“subfield”:{“id”:“https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10215“,”display_name“:”语义Web和本体开发“,”score“:0.9884,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T13062“,”“display_name”:“认知信息学和计算智能的理论框架”,“score”:0.9663,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/relational-database-systems网站“,”display_name“:”关系数据库系统“,”score“:0.568506},{”id“:”https://openalex.org/keywords/column-oriented-database-systems网站“,”display_name“:”面向列的数据库系统“,”score“:0.562731},{”id“:”https://openalex.org/keywords/schema-matching“,”display_name“:”架构匹配“,”score“:0.501076}],”concepts“:[{”id“:”https://openalex.org/C2777984123,“wikidata”:https://www.wikidata.org/wiki/Q9248237“,”display_name“:”Pointwise“,”level“:2,”score“:0.73805374},{”id“:”https://openalex.org/C2778029271,“wikidata”:https://www.wikidata.org/wiki/Q5421931“,”display_name“:”扩展(谓词逻辑)“,”level“:2,”score“:0.651106},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.5578606},{”id“:”https://openalex.org/C17020691,“wikidata”:https://www.wikidata.org/wiki/Q139677“,”display_name“:”Operator(biology)“,”level“:5,”score“:0.5565392},{”id“:”https://openalex.org/C148230440,“wikidata”:https://www.wikidata.org/wiki/Q1172264“,”display_name“:”Datalog“,”level“:2,”score“:0.4605784},{”id“:”https://openalex.org/C2778067643,“wikidata”:https://www.wikidata.org/wiki/Q166507“,”display_name“:”区间(图论)“,”level“:2,”score“:0.4418861},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.4412422},{”id“:”https://openalex.org/C2780432614,“wikidata”:https://www.wikidata.org/wiki/Q864213“,”display_name“:”保守扩展“,”level“:2,”score“:0.4392815},{”id“:”https://openalex.org/C95916125,“wikidata”:https://www.wikidata.org/wiki/Q840540“,”display_name“:”关系代数“,”level“:3,”score“:0.4376984},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.42252418},{”id“:”https://openalex.org/C5655090,“wikidata”:https://www.wikidata.org/wiki/Q192588“,”display_name“:”关系数据库“,”level“:2,”score“:0.41130736},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.32235682},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.29378444},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.24579805},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.22333273},{”id“:”https://openalex.org/C77088390,“wikidata”:https://www.wikidata.org/wiki/Q8513“,”display_name“:”Database“,”level“:1,”score“:0.2180619},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.17229831},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.11988649},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C55493867,“wikidata”:https://www.wikidata.org/wiki/Q7094“,”display_name“:”生物化学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C185592680,“wikidata”:https://www.wikidata.org/wiki/Q2329“,”display_name“:”Chemistry“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C158448853,“wikidata”:https://www.wikidata.org/wiki/Q425218“,”display_name“:”Repressor“,”level“:4,”score“:0.0},{”id“:”https://openalex.org/C86339819,“wikidata”:https://www.wikidata.org/wiki/Q407384“,”display_name“:”转录因子“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C104317684,“wikidata”:https://www.wikidata.org/wiki/Q7187“,”display_name“:”Gene“,”level“:2,”score“:0.0}],”mesh“:[],”locations_count“:1,”location“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1006/jsco.1996.0070“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S18904315“,”display_name“:”符号计算杂志“,”issn_l“:”0747-7171“,”isn“:[”07477771“,”1095-855X“],”is_oa“:false,”is_in_doaj“:false,”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”,“licence_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/jsco.1996.0070“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S18904315“,”display_name“:”符号计算杂志“,”issn_l“:”0747-7171“,”isn“:[”07477771“,”1095-855X“],”is_oa“:false,”is_in_doaj“:false,”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”,“licence_id”:“https://openalex.org/licenses/publisher-specific-oa“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[https://openalex.org/W4211058158","https://openalex.org/W3174970460","https://openalex.org/W2950556518","https://openalex.org/W2143485006","https://openalex.org/W2085988990","https://openalex.org/W2056340443","https://openalex.org/W2005835473","https://openalex.org/W1978993050","https://openalex.org/W1601754326","https://openalex.org/W1560117831“],”ngrams_url“:”https://api.openalex.org/works/W2013710386/ngrams网站“,”“abstract_inverted_index”:{“A”:[0],“new”:[1],“temporal”:[2163],“deductive”:[3],“database”:[4],“system”:[5],“supporting”:[6],“A”:[7,50,58,65103135148],“非标准”:[8,31],“model”:[9],“of”:[10,16,30,35,62,81111129151],“time”:[11,27157],“is”:[121081117147],“introduced”:[13],“It”:[14],“composes”:[15,29],“non-standard”:[17,21],“时间“:[18,22],”DATALOG(NSTL)“:[19],”和“:[20,5212139],”关系“:[23],”代数“:[24],”(NSTRA)。“:[25],”The“:[26,60,83],”line“:[28],”reals“:[32],”that“:[33,86133],”are“:[34,89126165],”The“:[36,45,93,95114144152156168],”form“:[3],”\u3008r“,”:[38,55],”z\u3009“:[39],”wherer \u2208“:[40],”R“:[41],”and z\u2208.“:[42],”z“:[43],“使用”:[44],“自然”:[46],“顺序”。“:[47],”Each“:[48],”realrdetermines“:[49],”macro instant“,:[51],”Each“:[53],”pair“:[54],”z\u3009“:[56],”defines“:[57],”micro instant“。“:[59],”set“:[61],”macrosinstants“:[63],”forms“:/64],”dense“:[66],”order“,:[67],”there“:[68,91],”allowing“:[69],”different“:[70,76],”relations“:%71],”to“:[72101167],”be“:[73],”valid“:[74],”at“:[75],”moments,“:[77],”with“:78119],”independent“:[79],”rates“:[80],“进化。“:[82],”微惯性“:[84],”确保“:[85],”全部“:[87],”间隔“:[88],”关闭“:[90],”简化“:[92],”语义。在“:[94],”相同“:[96],”时间“:[97],”它“:[98],”变为“:[99],”可能“:[100],”定义“:[102],”离散“:[104],”内存“:[105136],”运算符。“:[106],”TheNSTLlanguage“:[107],”an“:[109127],”extension“:[110128150],”DATALOGin“:[112],”which“:[113124],”fact“:[115],”base“:[116],”augmented“:[118],”interval“:[120],”timestamps“:[121],”in“:%123143],”rules“:[125],”generalized“:[130],”Horn“:[131],”子句“:[132],”allow“:[134140],”operator“:[137],”\u201d;\u201c“:[138],”时间戳“:[141],”原子“:[142],”主体。“:[145],”TheNSTRAlanguage“:[146],”pointwise“:[149],”relational“:[153169],”algebra“:[154],”over“:[155],”line。“:[158],”To“:[159],”do“:[160],”this“:[161],”three“:[162],”operators“:[164],”added“:[166],”代数。“:[170]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2013710386“,”counts_by_year“:[{”year“:2020,”cited_by_count“:1},{”年“:2016,”cited_by_count”:1},{“year”:2013,”citecd_by_count“:1}],”updated_date“:”2024-06-17T18:27:17.333208“,”created_dates“:”2016-06-24“}