LOGIDATA+: Deductive Databases with Complex Objects

This book presents a collection of coordinated scientificpapers describing the work conducted and the resultsachieved within the LOGIDATA+ project, a research actionfunded by the Italian national research council CNR.Theaim of the LOGIDATA+ project is the definition ofadvanced database systems which significantly extend thefunctionalities of the current systems, with specificreference to the application areas for which relationalsystemsare not considered satisfactory. These new systemswill allow the definitionof data with complex structures,the representation of semantic relationships betweenobjects, and the use of powerful query and update languages.They will be based on a combination of techniquesoriginatingfrom relational databases and logic programming,with contributions from object-oriented programming.The goal of the LOGIDATA+ project is the design, definition,and prototype implementation of a database management systemwith complex structures and a class hierarchy, to beaccessed through a rule-based language. This book presentsan integrated view of the project at the end of the firstphase. The second phase will be mainly concerned with theimplementation of prototypes.

LOGIDATA+: Overview.- Bridging objects with logical rules: towards object oriented deductive databases.- The LOGIDATA+ model.- The LOGIDATA+ language and semantics.- Travel agency: A LOGIDATA+ application.- Management of extended update operations.- Taxonomic reasoning in LOGIDATA+.- Introducing taxonomic reasoning in LOGIDATA+.- Taxonomic reasoning with cycles in LOGIDATA+.- Modeling semantic integrity constraints in object-oriented database schemas.- Evaluation of negative logic programs.- Effective implementation of negation in database logic query languages.- Modules in logic programming: A framework for knowledge management.- LOA: the LOGIDATA+ Object sAlgebra.- The LOGIDATA+ prototype system.- MOOD An architecture for object oriented access to a relational data base.- Prototypes in the LOGIDATA+ Project.