Author:
Arenas Marcelo,Bertossi Leopoldo
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Arenas, M., Bertossi, L.: Hypothetical temporal queries in databases. In Proc. of the ACM SIGMOD/PODS 5th Workshop on Knowledge Representation meets databases (KRDB'98), Borgida, A., Chaudhuri, V., Staudt, M. (eds.) (1998) (http://sunsite.informatik.rwth-aachen.de/Publications/CEURWS/Vol-10/).
2. Arenas, M., Bertossi, L.: The dynamics of database views (extended version). Can be found as ext-views.ps in http://dcc.ing.puc.cl/~bertossi/ (1998).
3. Bertossi, L., Arenas, M., Ferretti, C.: SCDBR: An automated reasoner for specifications of database updates. Journal of Intelligent Information Systems 10(3) (1998).
4. Bertossi, L., Pinto, J., Saez, P., Kapur, D., Subramaniam, M.: Automating Proofs of Integrity Constraints in the Situation Calculus. In Foundations of Intelligent Systems. Proc. Ninth International Symposium on Methodologies for Intelligent Systems (ISMIS'96). Springer LNAI 1079 (1996) 212–222.
5. Blakeley, J., Coburn, N., Larson, P.: Updating derived relations: Detecting irrelevant and autonomously computable updates”. ACM Transactions on Database Systems 14 (1989) 369–400.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献