An Algorithmic Logic Approach to Formalizing Database Update Semantics

Autor:	James Vorbach, James N. Brawner
Rok vydání:	1998
Předmět:	Correctness Database Cover (telecommunications) Logic Computer science Programming language Semantics (computer science) Medical information computer.software_genre Algorithmic logic Formal system Philosophy Data integrity Information system computer
Zdroj:	Journal of Applied Non-Classical Logics. 8:199-220
ISSN:	1958-5780 1166-3081
DOI:	10.1080/11663081.1998.10510942
Popis:	To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). The analysis focuses in particular on characterizing correctness of database updates. Its applicability is demonstrated from two perspectives: deriving preconditions that guarantee a given update will not violate an integrity constraint, and determining alternative integrity maintenance rules for performing corrective actions when the application semantics requires ...
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::354fab06b730556932bb2e4bdab1ce9c https://doi.org/10.1080/11663081.1998.10510942 Zobrazit plný text záznamu