Lecture Notes in Computer Science

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.