Database updates in the event calculus

Berlin: Springer-Verlag; [8]. Tansel, Abdullah Uz. Temporal Databases: Theory, Design and Implementation. Etzion, O. Berlin: Springer-Verlag; New York: Springer-Verlag, Bertino, E. Story, P. Worboys, M. CrossRef Google Scholar. New York: Oxford University Press; [16], pp 25— Egenhofer, M. New York: Oxford University Press; Kowalski, R.

Jensen and R. Temporal Specialization and Generalization. Jensen, M. Soo, and R. Technical Report TR , Dept. Database Updates in the Event Calculus. Journal of Logic Programming , 12 —, Kowalski, F. Sadri, and P. Integrity Checking in Deductive Databases. Kowalski and M. A Logic-Based Calculus of Events. New Generation Computing , —95, Foundations of Logic Programming. Springer Verlag, Acta Informatica , —, This paper shows how the simplified event calculus SEC may be used to represent security models for discretionary access control when access rights may be expressed as holding for limited periods of time.

The approach involves formulating a set of axioms to represent a specific security model with time-constrained authorizations. These model-specific axioms are combined with a set of rules which represent the core axiom of the SEC and a set of ground atomic assertions which record a history of security events which affect a database. An example security model is presented to demonstrate the approach, extensions to this model are outlined and implementation issues are discussed.

Skip to main content Skip to sections. This service is more advanced with JavaScript available. Advertisement Hide. Temporal Authorization in the Simplified Event Calculus. Authors Authors and affiliations Steve Barker. Keywords Event calculus temporal authorization model. Download to read the full chapter text. Apt, K. Google Scholar. Gelfond, V. Lifschitz and A. Boyer, Kluwer Academic , pp. Hanks and D. Kartha and V. Kowalski and M. CrossRef Google Scholar.

Gabbay, C. Hogger and J.