A formal basis for schema analysis of semantic database update semantics

Publisher Website
Google Scholar
Abstract
To more esficiently cover the wide spectrum of conceptual modeling applications (CAD, I.S., multi-media, etc), we envision multi-paradigm design environments that have the reasoning capability to support specification of "correct" schemata. Any system of this kind should have a sound and complete formal basis, This paper introduces a formal system for this purpose called EFL (Event-Formula Logic). EFL addresses, in particular, the problem of formally expressing the imperative nature of rules as interpreted in active object-oriented databases. EFL can provide a formal basis for compile-time analysis and the paper examines an application to an important aspect of schema correctness, the validation of update semantics. It is shown that theorems derivable from a schema in EFL express correctness properties of methods. The paper contributes towards providing a logic-theoretic semantics for active object-oriented databases; and providing a formal basis for semantic design environments which include complex structural semantics, constraints, methods, and rules.

This publication has 0 references indexed in Scilit: