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.
Author(s): Rosana S. G. Lanzelotte, Patrick Valduriez (auth.), C. Delobel, M. Kifer, Y. Masunaga (eds.)
Series: Lecture Notes in Computer Science 566
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 583
Tags: Database Management; Programming Techniques; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages
Optimization of nonrecursive queries in OODBs....Pages 1-21
Optimisation of methods in a navigational query language....Pages 22-42
Execution plan generation for an object-oriented data model....Pages 43-67
Efficient access methods in deductive and object-oriented databases....Pages 68-84
Semantics of disjunctive logic programs and deductive databases....Pages 85-107
G-Log: A declarative graphical query language....Pages 108-128
Non-determinism in deductive databases....Pages 129-146
Declarative specification and evaluation of database updates....Pages 147-166
Schema updates and consistency....Pages 167-188
Updatable views in object-oriented databases....Pages 189-207
Syntactic characterizations of 1-bounded Datalog programs....Pages 208-225
Evaluation and optimization of complex object selections....Pages 226-243
On testing effective computability of magic programs....Pages 244-262
A comparison between deductive and object-oriented database systems....Pages 263-277
Updating deductive databases with functional dependencies....Pages 278-291
Constraints in an object-oriented deductive database....Pages 292-311
Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations, and functional dependencies....Pages 312-331
Providing dynamic type abstractions and specifications for persistent information....Pages 332-354
Multidimensional versioning for object-oriented databases....Pages 355-370
On canonical and non-canonical classifications....Pages 371-390
DOT: A term representation using DOT algebra for knowledge-bases....Pages 391-410
Semantics of inheritance In logical object specifications....Pages 411-430
A formalization of objects using equational dynamic logic....Pages 431-452
A vision of persistent systems....Pages 453-459
From relational to object-oriented integrity simplification....Pages 460-477
On the efficient computation of the difference between consecutive database states....Pages 478-502
Set-oriented propagation of updates into transitively closed relations....Pages 503-523
Querying design and planning databases....Pages 524-545
A generalized information resource query language and basic query evaluation technique....Pages 546-566
An extensible functional query language for an Object Oriented Database System....Pages 567-581
