chomicki@cis.ksu.edu (Jan Chomicki) (05/07/91)
I'm interested in finding out about possible applications of Temporal Integrity Constraints in databases. The constraints can be very general and refer to the entire database history, like "if an employee has been fired in the past, he/she should never be rehired". How are such constraints usually implemented? Is there a need to provide a declarative framework for their specification, using for example Temporal Logic? Are Temporal Conditions in Rules, like "if the price of the stock X has been declining, sell X", useful? Any comments and references to papers describing real-life applications where Temporal Integrity is important will be very much appreciated. I'm familiar with the theoretical work on implementing constraints formulated in Temporal Logic and I have developed one such a method myself. -- Jan Chomicki Computing and Information Sciences 234 Nichols Hall Internet: chomicki@harris.cis.ksu.edu Kansas State University Phone: (913) 532-6350 Manhattan, KS 66506-2302
haim@taichi.uucp (24122-Haim Kilov(L028)m000) (05/08/91)
You may want to look into Object Z -- an extension of Z developed at the University of Queensland (Australia). They had recently published a TR 91-1 "The Object Z Specification Language - Version 1". The author is Roger Duke (and coauthors), the email address (from the cover) is fmg@cs.uq.oz.au. Hope this helps. -Haim Kilov haim@bcr.cc.bellcore.com