He received the Laurea degree in Electronic Engineering and the Ph.D. in Computer Science and Electronic Engineering, both from the University of Bologna (Italy). His research activity has been mainly devoted to knowledge representation and management in the context of very large databases facing both theoretical and implementation aspects, with particular reference to reasoning techniques applied to databases for knowledge representation and query optimization. On this topic relevant theoretical results have been obtained and a system ODB-Tools performing consistency check and semantic query otimization In Object Oriented Databases, based on this theoretical results, is available on Internet at: http://www.dbgroup.unimo.it.