Deductive and Object-Oriented Databases
Editat de Claude Delobel, Michael Kifer, Yoshifumi Masunagaen Limba Engleză Paperback – 4 dec 1991
Preț: 337.72 lei
Preț vechi: 422.14 lei
-20%
Puncte Express: 507
Preț estimativ în valută:
59.67€ • 68.79$ • 52.10£
59.67€ • 68.79$ • 52.10£
Carte tipărită la comandă
Livrare economică 16-30 mai
Specificații
ISBN-13: 9783540550150
ISBN-10: 3540550151
Pagini: 604
Ilustrații: XV, 583 p.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.9 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540550151
Pagini: 604
Ilustrații: XV, 583 p.
Dimensiuni: 155 x 235 x 33 mm
Greutate: 0.9 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.