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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International conference on deductive and object-oriented databases :Munich
Weitere Verfasser: Delobel, Claude, 1938-...., mathématicien (Verlagsleitung), Kifer, Michael, 1954- (Verlagsleitung), Masunaga, Yoshifumi, 1941- (Verlagsleitung)
Format: Livre numérique
Sprache:Anglais
Veröffentlicht: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Schriftenreihe:Lecture notes in computer science 566
Schlagworte:
Online Zugang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Anmerkung: 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
Inhaltsangabe:
  • 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.