{"id":"https://openalex.org/W2060950104","doi":"https://doi.org/10.1080/11663081.1998.10510942","title":"An Algorithmic Logic Approach to Formalizing Database Update Semantics","display_name":"An Algorithmic Logic Approach to Formalizing Database Update Semantics","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2060950104","doi":"https://doi.org/10.1080/11663081.1998.10510942","mag":"2060950104"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.1998.10510942","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1998.10510942","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},"type":"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/A5076954504","display_name":"James Brawner","orcid":null},"institutions":[{"id":"https://openalex.org/I142823887","display_name":"St. John's University","ror":"https://ror.org/00bgtad15","country_code":"US","type":"education","lineage":["https://openalex.org/I142823887"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Brawner","raw_affiliation_strings":["Department of Mathematics & Computer Science , St. John's University , Jamaica , NY , 11439"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics & Computer Science , St. John's University , Jamaica , NY , 11439","institution_ids":["https://openalex.org/I142823887"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036642293","display_name":"James Vorbach","orcid":null},"institutions":[{"id":"https://openalex.org/I142823887","display_name":"St. John's University","ror":"https://ror.org/00bgtad15","country_code":"US","type":"education","lineage":["https://openalex.org/I142823887"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Vorbach","raw_affiliation_strings":["Department of Mathematics & Computer Science , St. John's University , Jamaica , NY , 11439"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics & Computer Science , St. John's University , Jamaica , NY , 11439","institution_ids":["https://openalex.org/I142823887"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I142823887"],"apc_list":null,"apc_paid":null,"fwci":1.0603,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82024641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"3","first_page":"199","last_page":"220"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9998000264167786,"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.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9983999729156494,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8101037740707397},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7576602697372437},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5300416946411133},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5189197063446045},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4454162120819092},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.44231513142585754},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43956080079078674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36940017342567444},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.319169282913208}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8101037740707397},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7576602697372437},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5300416946411133},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5189197063446045},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4454162120819092},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.44231513142585754},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43956080079078674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36940017342567444},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.319169282913208}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/11663081.1998.10510942","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1998.10510942","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1490966766","https://openalex.org/W1497998981","https://openalex.org/W1527509133","https://openalex.org/W1536593030","https://openalex.org/W1582960532","https://openalex.org/W1968945891","https://openalex.org/W1977583107","https://openalex.org/W2008484875","https://openalex.org/W2026024665","https://openalex.org/W2051003309","https://openalex.org/W2065555531","https://openalex.org/W2069880607","https://openalex.org/W2098725244","https://openalex.org/W2103405542","https://openalex.org/W2289666534","https://openalex.org/W4254819021"],"related_works":["https://openalex.org/W1863382110","https://openalex.org/W2162604396","https://openalex.org/W2138007485","https://openalex.org/W2362341649","https://openalex.org/W4324054641","https://openalex.org/W2146445117","https://openalex.org/W3007870257","https://openalex.org/W1495012123","https://openalex.org/W2387088991","https://openalex.org/W2051867508"],"abstract_inverted_index":{"ABSTRACT":[0],"To":[1],"more":[2],"efficiently":[3],"cover":[4],"a":[5,55,70,102,153,159],"wide":[6],"spectrum":[7],"of":[8,53,88,142,149],"conceptual":[9,44],"modeling":[10],"applications":[11],"such":[12,38,60],"as":[13],"computer-aided":[14,16],"design,":[15],"manufacturing,":[17],"and":[18,111],"medical":[19],"information":[20,40,164],"systems,":[21],"we":[22],"envision":[23],"multi-paradigm":[24],"design":[25,166],"environments":[26],"which":[27],"have":[28],"reasoning":[29],"capability":[30],"to":[31],"support":[32],"analyzing":[33],"specifcations":[34],"for":[35,59,73,117,162],"correctness.":[36],"For":[37],"applications,":[39],"system":[41,72,165],"designers":[42],"employ":[43],"models":[45],"characterized":[46],"by":[47],"semantically-rich":[48,163],"specification":[49],"languages.":[50],"The":[51,80,129],"problem":[52],"providing":[54,158],"comprehensive":[56],"formal":[57,71,160],"framework":[58],"languages":[61],"has":[62],"not":[63,106],"been":[64],"adequately":[65],"addressed.":[66],"This":[67],"paper":[68,134],"investigates":[69],"this":[74,126,133],"purpose":[75],"called":[76],"Event-Formula":[77],"Logic":[78],"(EFL).":[79],"analysis":[81,141],"focuses":[82],"in":[83,132,139],"particular":[84],"on":[85],"characterizing":[86],"correctness":[87],"database":[89,143],"updates.":[90],"Its":[91],"applicability":[92],"is":[93],"demonstrated":[94],"from":[95],"two":[96],"perspectives:":[97],"deriving":[98],"preconditions":[99],"that":[100],"guarantee":[101],"given":[103],"update":[104,127,144],"will":[105],"violate":[107],"an":[108,136],"integrity":[109,114],"constraint,":[110],"determining":[112],"alternative":[113],"maintenance":[115],"rules":[116],"performing":[118],"corrective":[119],"actions":[120],"when":[121],"the":[122,140,147],"application":[123],"semantics":[124,145],"requires":[125],"interpretation.":[128],"work":[130],"described":[131],"represents":[135],"important":[137],"step":[138],"through":[146],"use":[148],"algorithmic":[150],"logic.":[151],"As":[152],"result,":[154],"it":[155],"contributes":[156],"towards":[157],"basis":[161],"environments.":[167]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}