LOGIDATA+: Deductive Databases with Complex Objects

1993
ISBN: 978-3-540-56974-9
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 701, 283 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 446 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Atzeni, Paolo

Fachgebiete

• Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
• Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie

Inhaltsverzeichnis

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.