An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
The field of “Logic or Deductive Databases” has now reached maturity. We have been fortunate, in the past, to report on the status of this field in its infancy [18] and, later, in its adolescence [17, 19]. An account of its history has recently been given by Jack Minker in [26]. This field is now well established and forms a large body of research across the world as attested by the sessions devoted to it in most Database, as well as Logic Programming conferences. In this short paper we would like to briefly sketch its current status both from a theoretical and a practical viewpoint. This paper is definitely neither an overview nor a survey (for such a survey see the quite recent book by Ceri, Gottlob and Tanca [11]), but it merely expresses our view of the current status of the field strongly biased by the work conducted at ECRC over the last six years or so. This biased presentation means in no ways that we want to ignore or minimize the importance of the contribution to the evolution of this field of many other laboratories in the world, among which we would like to explicitly mention MCC, ICOT and the many ESPRIT related projects all over Europe.