Read more
This volume is the proceedings of the Second InternationalConference on Deductive and Object-Oriented Databases(DOOD). During the last decade, deductive andobject-oriented systems have received a great deal ofattention, but for the most part these two fields wereevolving independently of each other. Today there is a largebody of work suggesting that the deductive andobject-oriented paradigms complement each other.The object-oriented paradigm is characterized by its view ofthe data, whereby information is grouped around objects withcomplex internal structure accessed via methods. Thedeclarative paradigm is centered around the idea that datamanipulation must be done through a declarative, logic-basedlanguage. It is hoped that these two aspects, broughttogether in one system, will provide an integrated frameworkfora new database technology.The DOOD conference brings together researchers anddevelopers in the fields of deductive and object-orienteddatabases to stimulate technical discussion and acceleratethe integration of the two technologies. This volumecontains 28 contributed papers (selected from 98submissions) and two invited papers by world-renownedresearchers.
List of contents
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.
