Deductive and Object-Oriented Databases: Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings: 760 - Brossura

Tanaka, Katsumi; Tsur, Shalom; Ceri, Stefano

 
9783540575306: Deductive and Object-Oriented Databases: Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings: 760
Brossura
ISBN 10: 3540575308 ISBN 13: 9783540575306
Casa editrice: Springer, 2008

Sinossi

This volume contains the proceedings of the ThirdInternational Conference on Deductive and Object-OrientedDatabases. Its central tenet is that the object-oriented anddeductive paradigms for modeling, organizing, and processingdata complement each other, rather than competing, and thatproblems involving massive volumes of complex data can bestbe solved by integrating the best of both approaches.Central questions in the area are:- How do we design a tool that presents the best of theobject-oriented and declarative ideas?- How can the users of this tool express their problems in acombination of declarative and procedural features?The volume includes 29 papers that contribute towardsanswering these questions.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Treating programs as objects: The computational proxy experience.- Foundations of aggregation in deductive databases.- The differential fixpoint operator with subsumption.- Datalog with non-deterministic choice computes NDB-PTIME.- A deductive and object-oriented approach to a complex scheduling problem.- On the logical foundations of schema integration and evolution in heterogeneous database systems.- Explaining program execution in deductive systems.- A logic for rule-based query optimization in graph-based data models.- Specifying rule-based query optimizers in a reflective framework.- Semantic query optimization in deductive object-oriented databases.- Research in deductive and object-oriented databases.- An implementation overview of the Aditi deductive database system.- Negation and aggregates in recursive rules: the LDL++ approach.- IsaLog¬: A deductive language with negation for complex-object databases with hierarchies.- On efficient reasoning with implication constraints.- Bottom-up query evaluation with partially ordered defaults.- An extension of path expressions to simplify navigation in object-oriented queries.- Query classes.- Database updating revisited.- Super-key classes for updating materialized derived classes in object bases.- Applications of deductive and object-oriented databases.- Beyond data dictionaries: Towards a reflective architecture of intelligent database systems.- A deductive and typed object-oriented language.- Noodle: A language for declarative querying in an object-oriented database.- Tracking causal dependencies in an active object-oriented database.- Automatic class and method generation for object-oriented databases.- Modeling multilevel entities using single level objects.- A model using classes as a basic organization tool.- Knowledge base revision using circumscription.- Versioning of objects in deductive databases.- A model for sets and multiple inheritance in deductive object-oriented systems.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540575308
ISBN 13 
9783540575306
Rilegatura
Copertina flessibile
Numero di pagine
508
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9780387575308: Deductive and Object-Oriented Databases: Third International Conference, Dood '93 Phoenix, Arizona, Usa, December 6-8, 1993 : Proceedings

Edizione in evidenza

ISBN 10:  0387575308 ISBN 13:  9780387575308
Casa editrice: Springer Verlag, 1993
Brossura