Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings
This volume is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received a great deal of attention, but for the most part these two fields were evolving independently of each o...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , , |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
566 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
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, Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991, proceedings, C. Delobel, M. Kifer, Y. Masunaga (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (XV-581 p.), Lecture notes in computer science, 3-540-55015-1 • Deductive and Object-Oriented Databases, Texte imprimé, 9783662210673 |
| LEADER | 05743nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 945112 | ||
| 008 | 110927q2000 xxg ||| |||| 00| 0 eng d | ||
| 009 | PPN15521490X | ||
| 020 | |a 9783540466468 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.75 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on deductive and object-oriented databases |n (02 |d :1991 |c :Munich). | |
| 245 | 1 | 0 | |a Deductive and object-oriented databases : |b Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings |c [edited by] C. Delobel, M. Kifer, Y. Masunaga. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 566 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Optimization of nonrecursive queries in OODBs -- Optimisation of methods in a navigational query language -- Execution plan generation for an object-oriented data model -- Efficient access methods in deductive and object-oriented databases -- Semantics of disjunctive logic programs and deductive databases -- G-Log: A declarative graphical query language -- Non-determinism in deductive databases -- Declarative specification and evaluation of database updates -- Schema updates and consistency -- Updatable views in object-oriented databases -- Syntactic characterizations of 1-bounded Datalog programs -- Evaluation and optimization of complex object selections -- On testing effective computability of magic programs -- A comparison between deductive and object-oriented database systems -- Updating deductive databases with functional dependencies -- Constraints in an object-oriented deductive database -- Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations, and functional dependencies -- Providing dynamic type abstractions and specifications for persistent information -- Multidimensional versioning for object-oriented databases -- On canonical and non-canonical classifications -- DOT: A term representation using DOT algebra for knowledge-bases -- Semantics of inheritance In logical object specifications -- A formalization of objects using equational dynamic logic -- A vision of persistent systems -- From relational to object-oriented integrity simplification -- On the efficient computation of the difference between consecutive database states -- Set-oriented propagation of updates into transitively closed relations -- Querying design and planning databases -- A generalized information resource query language and basic query evaluation technique -- An extensible functional query language for an Object Oriented Database System. | |
| 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 is the proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD). During the last decade, deductive and object-oriented systems have received a great deal of attention, but for the most part these two fields were evolving independently of each other. Today there is a large body of work suggesting that the deductive and object-oriented paradigms complement each other. The object-oriented paradigm is characterized by its view of the data, whereby information is grouped around objects with complex internal structure accessed via methods. The declarative paradigm is centered around the idea that data manipulation must be done through a declarative, logic-based language. It is hoped that these two aspects, brought together in one system, will provide an integrated framework fora new database technology. The DOOD conference brings together researchers and developers in the fields of deductive and object-oriented databases to stimulate technical discussion and accelerate the integration of the two technologies. This volume contains 28 contributed papers (selected from 98 submissions) and two invited papers by world-renowned researchers. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Bases de données | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Delobel, Claude, |d 1938-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Kifer, Michael, |d 1954- |4 pbd | |
| 700 | 1 | |a Masunaga, Yoshifumi, |d 1941- |4 pbd | |
| 776 | 0 | |0 036029521 |t Deductive and object-oriented databases |o Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 |o proceedings |f C. Delobel, M. Kifer, Y. Masunaga (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (XV-581 p.) |s Lecture notes in computer science |z 3-540-55015-1 | |
| 776 | 0 | |t Deductive and Object-Oriented Databases |b Texte imprimé |z 9783662210673 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55015-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-Z27QW6JM-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747913595 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55015-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926368 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55015-1 |z Accès INSA CVL | |
| 997 | |0 945112 |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/ | ||