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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
760 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |
| LEADER | 05494nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 944487 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155189808 | ||
| 020 | |a 9783540482123 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.75 | ||
| 111 | 2 | |a International conference on deductive and object-oriented databases |n (03 |d :1993 |c :Phoenix). | |
| 245 | 1 | 0 | |a Deductive and object-oriented databases : |b third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings |c [edited by] Stefano Ceri, Katsumi Tanaka, Shalom Tsur. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 760 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 involving massive volumes of complex data can best be 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 the object-oriented and declarative ideas? - How can the users of this tool express their problems in a combination of declarative and procedural features? The volume includes 29 papers that contribute towards answering these questions. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation orientée objets (informatique) | ||
| 650 | |a Bases de données orientées objet | ||
| 650 | |a Bases de données déductives | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ceri, Stefano, |d 1955- |4 pbd | |
| 700 | 1 | |a Tanaka, Katsumi, |d 19..-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Tsur, Shalom. |4 pbd | |
| 776 | 0 | |0 017865522 |t Deductive and object-oriented databases |o third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 |o proceedings |f Stefano Ceri, Katsumi Tanaka, Shalom Tsur, eds |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (XI-488 p.) |s Lecture notes in computer science |z 3-540-57530-8 | |
| 776 | 0 | |t Deductive and Object-Oriented Databases |b Texte imprimé |z 9783662179390 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57530-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9QJ7SFGJ-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74791916X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57530-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750931701 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57530-8 |z Accès INSA CVL | |
| 997 | |0 944487 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||