LNCS 701: LOGIDATA+

The Framework

• Paolo Atzeni: LOGIDATA+: Overview. 1-6
• Stefano Ceri, Letizia Tanca: Bridging Objects with Logical Rules: Towards Object Oriented Deductive Databases. 7-19

The Model and the Language

• Paolo Atzeni, Filippo Cacace, Stefano Ceri, Letizia Tanca: The LOGIDATA+ Model. 20-29
• Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca, Letizia Tanca: The LOGIDATA+ Language and Semantics. 30-41
• Luca Cabibbo, Giansalvatore Mecca: Travel Agency: A LOGIDATA+ Application. 42-59

Complex Objects

• Luigi Palopoli, Riccardo Torlone: Management of Extended Update Operations. 60-78
• Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori, Alessandro Artale, Francesca Cesarini, Giovanni Soda: Taxonomic Reasoning in LOGIDATA+. 79-84
• Alessandro Artale, Francesca Cesarini, Giovanni Soda: Introducing Taxonomic Reasoning in LOGIDATA+. 85-104
• Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori: Taxonomic Reasoning with Cycles in LOGIDATA+. 105-128
• Anna Formica, Michele Missikoff: Modeling Semantic Interity Contraints in Object-Oriented Database Schemas. 129-147

Deductive Databases

• Sergio Greco, Massimo Romeo, Domenico Saccà: Evaluation of Negative Logic Programs. 148-158
• Nicola Leone, Massimo Romeo, Pasquale Rullo, Domenico Saccà: Effective Implementation of Negation in Database Logic Query Languages. 159-175
• Annalina Fabrizio, Maurizio Capaccioli, Sandra Valeri: Modules in Logic Programming: A Framework for Knowledge Management. 176-194

Prototypes

• Umberto Nanni, Silvio Salza, Mario Terranova: LOA: The LOGIDATA+ Object Algebra. 195-210
• Umberto Nanni, Silvio Salza, Mario Terranova: The LOGIDATA+ Prototype System. 211-232
• Marco Lugli, Luca Nini, Stefano Ceri: MOOD*: An Architecture for Object Oriented Access to a Relational Data Base. 233-251
• Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. 252-273