Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Baral, C., Lobo, J.: Formal characterizations of active databases. In: International Workshop on Logic in Databases, LIDS 1996 (1996)
2. Baral, C., Lobo, J., Trajcevski, G.: Formal characterizations of active databases: Part ii. In: Proceedings of Deductive and Object-Oriented Databases, DOOD 1997 (1997)
3. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency control and recovery in database systems. Addison-Wesley, Reading (1987)
4. Bertossi, L., Pinto, J., Valdivia, R.: Specifying database transactions and active rules in the situation calculus. In: Levesque, H., Pirri, F. (eds.) Logical Foundations of Cognitive Agents, Contributions in Honor of Ray Reiter, New-York, pp. 41–56. Springer, Heidelberg (1999)
5. Bonner, A., Kifer, M.: Transaction logic programming. Technical report, University of Toronto (1992)