Doron Drusinsky
Member for
23 years 8 monthsDoron Drusinsky received his Ph.D. from the Weizmann Inst., Israel, in 1988. Doron worked for Sony till 1992, and then authored BetterState, a statechart tool, which is now owned by WindRiver Systems. After doing research for Xerox PARC and NASA Doron joined the Naval Postgraduate School as Associate Professor in 2002.
Doron Drusinsky received his Ph.D. from the Weizmann Inst., Israel, in 1988. Doron worked for Sony till 1992, and then authored BetterState, a statechart tool, which is now owned by WindRiver Systems. After doing research for Xerox PARC and NASA Doron joined the Naval Postgraduate School as Associate Professor in 2002.
All Articles by Doron Drusinsky
All Stories by Doron Drusinsky
| Temporal Data Integrity Validation Databases are commonly used to store, safeguard, search, and modify data. Due to the enormous volumes of data being stored and manipulated by modern database applications, data-integrity validation has become ever more important. In this article, I examine the problem of temporal data-integrity validation and the use of Linear Time Temporal Logic (LTL) to specify temporal data-integrity rules. |