Research Catalog

Title

LOGIDATA+ : deductive databases with complex objects / Paolo Atzeni, ed.

Publication

Berlin ; New York : Springer-Verlag, ©1993.

Items in the Library & Off-site

Details

Additional Authors

Atzeni, Paolo, 1957-

Description

viii, 273 pages : illustrations; 24 cm.

Summary

"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.

Series Statement

Lecture notes in computer science ; 701

Uniform Title

Lecture notes in computer science ; 701.

Subject

• Deductive databases
• Databanken
• Bases de données déductives

Bibliography (note)

• Includes bibliographical references.

Contents

LOGIDATA+: Overview / Paolo Atzeni -- Bridging Objects with Logical Rules: Towards Object-Oriented Deductive Databases / Stefano Ceri and Letizia Tanca -- The LOGIDATA+ Model / Paolo Atzeni, Filippo Cacace, Stefano Ceri and Letizia Tanca -- The LOGIDATA+ Language and Semantics / Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca and Letizia Tanca -- Travel Agency: A LOGIDATA+ Application / Luca Cabibbo and Giansalvatore Mecca -- Management of Extended Update Operations / Luigi Palopoli and Riccardo Torlone -- Taxonomic Reasoning in LOGIDATA+ / Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini and Giovanni Soda -- Introducing Taxonomic Reasoning in LOGIDATA+ / Alessandro Artale, Francesca Cesarini and Giovanni Soda -- Taxonomic Reasoning with Cycles in LOGIDATA+ / Domenico Beneventano, Sonia Bergamaschi and Claudio Sartori -- Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas / Anna Formica and Michele Missikoff -- Evaluation of Negative Logic Programs / Sergio Greco, Massimo Romeo and Domenico Sacca -- Effective Implementation of Negation in Database Logic Query Languages / Nicola Leone, Massimo Romeo, Pasquale Rullo and Domenico Sacca -- Modules in Logic Programming: A Framework for Knowledge Management / Annalina Fabrizio, Maurizio Capaccioli and Sandra Valeri -- LOA: The LOGIDATA+ Object Algebra / Umberto Nanni, Silvio Salza and Mario Terranova -- The LOGIDATA+ Prototype System / Umberto Nanni, Silvio Salza and Mario Terranova -- MOOD: An Architecture for Object-Oriented Access to a Relational Database / Marco Lugli, Luca Nini and Stefano Ceri -- Prototypes in the LOGIDATA+ Project / Alessandro Artale, Jean-Pierre Ballerini, Sonia Bergamaschi, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, Giorgio Marrella, Michele Missikoff, Luigi Palopoli, Luigi Pichetti, Domenico Sacca, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca and Marco Toiati.

ISBN

• 354056974X
• 9783540569749
• 038756974X
• 9780387569741

LCCN

93011824

OCLC

• ocm28547950
• 28547950
• SCSB-1993228

Owning Institutions

Princeton University Library