Home | Search | Help  
Home Page Università di Genova

RESEARCH TOPIC: Deductive databases

The research activities on this topic include:

  • Integration of deductive and object data models
  • Updates in deductive databases
  • Analysis of deductive languages

People

Selected publications

  • E. Bertino, B. Catania and P. Perlasca. Introducing Dynamic Behavior in Amalgamated Knowledge Bases. Theory and Practice of Logic Programming, 3(6): 625-669. Cambridge University Press, Cambridge,UK, 2003.
  • B. Catania and E. Bertino. Static Analysis of Logical Languages with Deferred Update Semantics. IEEE Transactions of Knowledge and Data Engineering, 15(2):386-404, March-April 2003.
  • E. Bertino, B. Catania, and R. Gori. Enhancing the Expressive Power of the U-Datalog Language. Theory and Practice of Logic Programming, 1(1):105-122 Cambridge University Press, Cambridge,UK, 2001.
  • E. Bertino, B. Catania, V. Gervasi, and A. Raffaeta'. A Logical Approach to Cooperative Information Systems. Journal of Logic Programming, 43(1): 15-48, 2000. Elsevier Science Publishers, Amsterdam.
  • E. Bertino, G. Guerrini, D. Montesi. Inheritance in Deductive Object Databases. In G. Saake, K. Schwarz, C. Tuerker, editors, Transactions and Database Dynamics - Selected papers from Eighth International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl (Germany), September 1999. Lecture Notes in Computer Science 1773, pages 67-90, 2000.
  • E. Bertino, G. Guerrini, and D. Montesi. Towards Deductive Object Databases. Theory and Practice of Object Systems 1(1):19-39, Spring 1995. Special Issue: Selected Papers from ECOOP `94.

Back to previous page

Please send suggestions and comments to:
Barbara Catania catania@disi.unige.it

Last Updated: May 4nd, 2006