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.
Author(s): Paolo Atzeni (auth.), Paolo Atzeni (eds.)
Series: Lecture Notes in Computer Science 701
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 283
Tags: Database Management
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
