Like any other database application object database applications are subject to evolution. Evolution is, however, critical in object databases because it is the very characteristic...
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Virtual machine technologies offer simple and practical mechanisms to address many manageability problems in database systems. For example, these technologies allow for server con...
Umar Farooq Minhas, Jitendra Yadav, Ashraf Aboulna...