Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings
This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement each other, rather than competing, and that problems i...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
760 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Deductive and object-oriented databases, third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993, proceedings, Stefano Ceri, Katsumi Tanaka, Shalom Tsur, eds, Berlin, Springer-Verlag, 1993, 1 vol. (XI-488 p.), Lecture notes in computer science, 3-540-57530-8 • Deductive and Object-Oriented Databases, Texte imprimé, 9783662179390 |
Sommario:
- 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.