{"id":"https://openalex.org/W2065817972","doi":"https://doi.org/10.1007/bf00291052","title":"Specification and verification of database dynamics","display_name":"Specification and verification of database dynamics","publication_year":1988,"publication_date":"1988-08-01","ids":{"openalex":"https://openalex.org/W2065817972","doi":"https://doi.org/10.1007/bf00291052","mag":"2065817972"},"language":"en","primary_location":{"id":"doi:10.1007/bf00291052","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00291052","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","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/A5103335769","display_name":"Jos Luiz Fiadeiro","orcid":null},"institutions":[{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jos\ufffd Fiadeiro","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Av. Rovisco Pais, P-1096, Lisboa Codex, Portugal","Instituto Superior Te\u00b4cnico, Portugal#TAB#"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Av. Rovisco Pais, P-1096, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I4387152517"]},{"raw_affiliation_string":"Instituto Superior Te\u00b4cnico, Portugal#TAB#","institution_ids":["https://openalex.org/I4387152517"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105822466","display_name":"Am\u0131\u0301lcar Sernadas","orcid":"https://orcid.org/0000-0001-7895-8436"},"institutions":[{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Am\ufffdlcar Sernadas","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Av. Rovisco Pais, P-1096, Lisboa Codex, Portugal","Instituto Superior Te\u00b4cnico, Portugal#TAB#"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Av. Rovisco Pais, P-1096, Lisboa Codex, Portugal","institution_ids":["https://openalex.org/I4387152517"]},{"raw_affiliation_string":"Instituto Superior Te\u00b4cnico, Portugal#TAB#","institution_ids":["https://openalex.org/I4387152517"]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103335769"],"corresponding_institution_ids":["https://openalex.org/I4387152517"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":6.5081,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.96402311,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"6","first_page":"625","last_page":"661"},"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.9994000196456909,"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.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"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.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.761772871017456},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.7291984558105469},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.6605097055435181},{"id":"https://openalex.org/keywords/database-theory","display_name":"Database theory","score":0.6451810598373413},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6403336524963379},{"id":"https://openalex.org/keywords/database-design","display_name":"Database design","score":0.5878700613975525},{"id":"https://openalex.org/keywords/database-schema","display_name":"Database schema","score":0.581254780292511},{"id":"https://openalex.org/keywords/database-model","display_name":"Database model","score":0.54723060131073},{"id":"https://openalex.org/keywords/physical-data-model","display_name":"Physical data model","score":0.47269582748413086},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.45688942074775696},{"id":"https://openalex.org/keywords/conceptual-schema","display_name":"Conceptual schema","score":0.4333134889602661},{"id":"https://openalex.org/keywords/database-testing","display_name":"Database testing","score":0.39772024750709534},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3537701964378357},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29711389541625977}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.761772871017456},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.7291984558105469},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.6605097055435181},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.6451810598373413},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6403336524963379},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.5878700613975525},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.581254780292511},{"id":"https://openalex.org/C5968703","wikidata":"https://www.wikidata.org/wiki/Q267136","display_name":"Database model","level":3,"score":0.54723060131073},{"id":"https://openalex.org/C187959359","wikidata":"https://www.wikidata.org/wiki/Q17113749","display_name":"Physical data model","level":5,"score":0.47269582748413086},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.45688942074775696},{"id":"https://openalex.org/C29275276","wikidata":"https://www.wikidata.org/wiki/Q2268965","display_name":"Conceptual schema","level":3,"score":0.4333134889602661},{"id":"https://openalex.org/C78161392","wikidata":"https://www.wikidata.org/wiki/Q5227414","display_name":"Database testing","level":4,"score":0.39772024750709534},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3537701964378357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29711389541625977},{"id":"https://openalex.org/C165611974","wikidata":"https://www.wikidata.org/wiki/Q5531015","display_name":"Gender schema theory","level":2,"score":0.0},{"id":"https://openalex.org/C138496976","wikidata":"https://www.wikidata.org/wiki/Q175002","display_name":"Developmental psychology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf00291052","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00291052","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire_cris_publications/5b40ece0-7ed0-4325-8b2e-683b78dd9e17","is_oa":false,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/5b40ece0-7ed0-4325-8b2e-683b78dd9e17","pdf_url":null,"source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fiadeiro, J & Sernadas, A 1988, 'Specification and verification of database dynamics', Acta Informatica, vol. 25, no. 6, pp. 625-661. https://doi.org/10.1007/BF00291052","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W47661560","https://openalex.org/W50233445","https://openalex.org/W99326477","https://openalex.org/W109082589","https://openalex.org/W115138943","https://openalex.org/W122164068","https://openalex.org/W160562017","https://openalex.org/W202748147","https://openalex.org/W1481262989","https://openalex.org/W1482449241","https://openalex.org/W1482645229","https://openalex.org/W1501068329","https://openalex.org/W1520712216","https://openalex.org/W1529070545","https://openalex.org/W1531723926","https://openalex.org/W1551791208","https://openalex.org/W1554645789","https://openalex.org/W1563196767","https://openalex.org/W1567452806","https://openalex.org/W1571065163","https://openalex.org/W1631577142","https://openalex.org/W1969368990","https://openalex.org/W1970603830","https://openalex.org/W1974304857","https://openalex.org/W1983409972","https://openalex.org/W1997838126","https://openalex.org/W2007746774","https://openalex.org/W2023808162","https://openalex.org/W2037817502","https://openalex.org/W2040127143","https://openalex.org/W2055862860","https://openalex.org/W2061841985","https://openalex.org/W2101604841","https://openalex.org/W2102097307","https://openalex.org/W2104351678","https://openalex.org/W2111706174","https://openalex.org/W2122540544","https://openalex.org/W2144347980","https://openalex.org/W2163751633","https://openalex.org/W2166656159","https://openalex.org/W2172403039","https://openalex.org/W2552808181","https://openalex.org/W2588855181","https://openalex.org/W2589217375","https://openalex.org/W2914821813","https://openalex.org/W2987907651","https://openalex.org/W3032363870","https://openalex.org/W3144368627","https://openalex.org/W3146075203","https://openalex.org/W4249792394","https://openalex.org/W4285719527","https://openalex.org/W4301507461"],"related_works":["https://openalex.org/W2591891926","https://openalex.org/W1989645082","https://openalex.org/W584886505","https://openalex.org/W1502610062","https://openalex.org/W1588786827","https://openalex.org/W3162115094","https://openalex.org/W2366660644","https://openalex.org/W1980366592","https://openalex.org/W2895113758","https://openalex.org/W1501673548"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}