{"id":"https://openalex.org/W2090290455","doi":"https://doi.org/10.1093/logcom/5.1.27","title":"Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases","display_name":"Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2090290455","doi":"https://doi.org/10.1093/logcom/5.1.27","mag":"2090290455"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/5.1.27","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_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/A5091651738","display_name":"Paul Spruit","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"PAUL SPRUIT","raw_affiliation_strings":["Vrije Universiteit, Faculteit Wiskunde en Informatica De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail:"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit, Faculteit Wiskunde en Informatica De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail:","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106235889","display_name":"ROEL WIERINGA","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"ROEL WIERINGA","raw_affiliation_strings":["Vrije Universiteit, Faculteit Wiskunde en Informatica De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail:"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit, Faculteit Wiskunde en Informatica De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands E-mail:","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103346373","display_name":"John\u2010Jules Ch. Meyer","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"JOHN-JULES MEYER","raw_affiliation_strings":["Rijksuniversiteit Utrecht, Vakgroep Informatica Postbus 80089, 3508 TB Utrecht, The Netherlands E-mail:"],"affiliations":[{"raw_affiliation_string":"Rijksuniversiteit Utrecht, Vakgroep Informatica Postbus 80089, 3508 TB Utrecht, The Netherlands E-mail:","institution_ids":["https://openalex.org/I193662353"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151,"provenance":"doaj"},"apc_paid":null,"fwci":3.861,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.87443,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":"5","issue":"1","first_page":"27","last_page":"70"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9991,"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.9991,"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.9989,"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.9984,"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/well-founded-semantics","display_name":"Well-founded semantics","score":0.5160327},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.4409535},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4163405}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.643928},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.5197663},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.5160327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4990356},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.49182606},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4573741},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.4409535},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4163405},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4159436},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.41128635},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.4111379},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.38067418},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.37664464},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.26913086},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2304506},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.1733993},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/5.1.27","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_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":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.58}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W783270985","https://openalex.org/W3021003119","https://openalex.org/W2804733059","https://openalex.org/W2753815840","https://openalex.org/W2125406856","https://openalex.org/W2106305471","https://openalex.org/W2090290455","https://openalex.org/W1558467648","https://openalex.org/W1539736846","https://openalex.org/W1422032522"],"abstract_inverted_index":{"The":[0,59,277,322],"use":[1],"of":[2,13,62,69,85,112,145,161,165,171,184,228,240,248,254,260,286,300,307],"logic":[3,36,47,105,181],"in":[4,72,140,178,197,290,310,315],"database":[5,14,21,57,292,295,318],"theory":[6],"is":[7,155,187,203,208,222,237,297,320],"commonly":[8],"restricted":[9],"to":[10,88,96,210,264,282,329],"the":[11,28,40,82,109,115,125,143,162,172,194,200,211,226,234,238,244,261,265,284,308,317],"specification":[12],"states.":[15],"Reasoning":[16],"about":[17],"state":[18,296,319],"changes":[19],"(the":[20,313],"updates)":[22],"must":[23],"then":[24,99],"be":[25,119,330],"done":[26],"outside":[27],"logic.":[29,58],"In":[30],"this":[31],"report,":[32],"we":[33,52,167,189,256],"consider":[34],"a":[35,49,104,146,198,216,258,270,298,311],"that":[37,174,188],"also":[38],"takes":[39],"updates":[41,71,79,92,102,117],"into":[42,121],"account.":[43],"Taking":[44],"propostional":[45],"dynamic":[46,56,113,141,180],"as":[48],"starting":[50],"point,":[51],"define":[53],"PDDL:":[54],"prepositional":[55],"main":[60,235],"features":[61],"PDDL":[63,220],"are:":[64],"\u2022There":[65],"are":[66,175,327],"two":[67],"kinds":[68],"atomic":[70,110,116],"PDDL,":[73],"passive":[74],"and":[75,90,98,130,153,206,303,324],"active":[76,91],"updates.":[77],"Passive":[78],"just":[80],"change":[81],"truth":[83],"value":[84],"an":[86,288],"atom":[87,95],"true/false":[89,97],"set":[93,253,299],"one":[94,134],"compute":[100,283],"derived":[101],"using":[103],"program.":[106],"Just":[107],"like":[108],"actions":[111],"logic,":[114],"can":[118,190],"combined":[120],"update":[122,136,275,289],"programs":[123],"with":[124,193],"operators":[126],"sequential":[127],"composition,":[128],"choice":[129],"iteration.":[131],"We":[132],"have":[133,168,215,269],"more":[135],"action":[137],"(also":[138],"present":[139,177],"logic):":[142],"test":[144],"formula.":[147],"\u2022The":[148],"declarative":[149,325],"semantics":[150,173,273,279,326],"for":[151,219,225,274],"formulas":[152,302],"updates,":[154,166],"based":[156],"on":[157],"Kripke":[158],"structures.":[159,230],"Because":[160],"specific":[163],"language":[164],"many":[169],"properties":[170,186],"not":[176],"propositional":[179],"(PDL).":[182],"One":[183],"these":[185],"identify":[191],"worlds":[192,309,314],"same":[195],"valuation":[196],"structure,":[199],"resulting":[201],"structure":[202,312],"called":[204],"normalized,":[205],"it":[207],"equivalent":[209],"original":[212],"structure.":[213],"\u2022We":[214,268],"proof":[217],"system":[218],"which":[221],"soundand":[223],"complete":[224],"class":[227,247],"\u2018full\u2019":[229],"For":[231,243],"non-full":[232,262],"structures,":[233],"problem":[236],"axiomatization":[239],"successor":[241],"worlds.":[242],"most":[245],"interesting":[246],"(non-full)":[249],"structures":[250],"given":[251],"some":[252,291,305],"constraints,":[255],"give":[257],"reduction":[259],"case":[263],"full":[266],"case.":[267],"Plotkin-style":[271],"operational":[272,278,323],"programs.":[276],"allows":[280],"us":[281],"result":[285],"executing":[287],"state.":[293],"A":[294],"(propositional)":[301],"specifies":[304],"subset":[306],"whichs":[316],"true).":[321],"shown":[328],"equivalent.":[331]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2090290455","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2024-12-14T03:13:07.769878","created_date":"2016-06-24"}