A formal approach to timing analysis and design of information systems. Approximating the number of unique values of an attribute without sorting. Temporal semantics and natural language processing in a decision support system. Verification of resource controller processes. Concurrency Control for Design Objects with Versions in CAD Databases.
Text signatures by superimposed coding of letter triplets and quadruplets.
On testing soundness of relational expressions. A general framework for computing block accesses. The design of optimal access paths for relational databases. Fact structure and its application to updates in relational databases. A hierarchical model of organizational control for the analysis of information systems requirements.