LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science, 701)

"This book presents a collection of coordinated scientific papers describing the work conducted and the results achieved within the LOGIDATA+ project, a research action funded by the Italian national research council CNR. Theaim of the LOGIDATA+ project is the definition of advanced database systems which significantly extend the functionalities of the current systems, with specific reference to the application areas for which relational systemsare not considered satisfactory. These new systems will allow the definitionof data with complex structures, the representation of semantic relationships between objects, and the use of powerful query and update languages. They will be based on a combination of techniques originatingfrom 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 system with complex structures and a class hierarchy, to be accessed through a rule-based language. This book presents an integrated view of the project at the end of the first phase. The second phase will be mainly concerned with the implementation of prototypes."--PUBLISHER'S WEBSITE Annotation 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....Pages 1-6 Bridging objects with logical rules: towards object oriented deductive databases....Pages 7-19 The LOGIDATA+ model....Pages 20-29 The LOGIDATA+ language and semantics....Pages 30-41 Travel agency: A LOGIDATA+ application....Pages 42-59 Management of extended update operations....Pages 60-78 Taxonomic reasoning in LOGIDATA + ....Pages 79-84 Introducing taxonomic reasoning in LOGIDATA + ....Pages 85-104 Taxonomic reasoning with cycles in LOGIDATA + ....Pages 105-128 Modeling semantic integrity constraints in object-oriented database schemas....Pages 129-147 Evaluation of negative logic programs....Pages 148-158 Effective implementation of negation in database logic query languages....Pages 159-175 Modules in logic programming: A framework for knowledge management....Pages 176-194 LOA: the LOGIDATA+ Object sAlgebra....Pages 195-210 The LOGIDATA+ prototype system....Pages 211-232 MOOD An architecture for object oriented access to a relational data base....Pages 233-251 Prototypes in the LOGIDATA+ Project....Pages 252-273 Paolo Atzeni, Ed. Includes Bibliographical References.