MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings

"This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. MFDBS 91 covers new developments in theoretical aspects of database and knowledge base systems and the design of databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical, algebraic and combinatorial fundamentals of database theory and design of databases; object-oriented databases and object-oriented modeling; fundamentals of query languages, transaction processing, distributed databases, concurrency control, access strategies, recovery, security, privacy, safety; fundamentals for integrity constraints and consistency in databases; models for database machines; models for user interfaces; design and implementation of non-standard databases."--PUBLISHER'S WEBSITE Complex object multi-level fixpoint queries....Pages 1-13 Classifying object-oriented query results in a class/type lattice....Pages 14-28 A relational algebra for complex objects based on partial information....Pages 29-43 Specifying operations for nested relations by rules and partial orders....Pages 44-58 On the relationship between well-founded and stable partial models....Pages 59-73 Monadic databases with equality....Pages 74-88 Actor-oriented specification of deontic integrity constraints....Pages 89-103 Solving ambiguities in updating deductive databases....Pages 104-118 On the mean execution time of recursive definitions on relational databases....Pages 119-133 Updating hierarchical databases by complex forms....Pages 134-145 A direct algorithm for computing the transitive closure of a two-dimensionally structured file....Pages 146-159 Multi-granularity locking for nested transaction systems....Pages 160-172 The Nested Interpolation Based Grid File....Pages 173-187 Complexity of recursive production rules execution....Pages 188-200 On the monotonicity of (LDL) logic programs with set....Pages 201-215 Semantic improvement of deductive databases....Pages 216-229 On the representation of dependencies by propositional logic....Pages 230-242 Pairwise-definable subdirect decompositions of general database schemata....Pages 243-257 Functional dependencies in hierarchical structures of data....Pages 258-275 Objects in relational database schemes with functional, inclusion and exclusion dependencies....Pages 276-290 Abstract data type semantics for many-sorted object query algebras....Pages 291-307 Temporal specifications of object behavior....Pages 308-324 Consistency and non-determinism in a database programming language....Pages 325-341 A fact-oriented approach to schema transformation....Pages 342-356 A database needs two kinds of negation....Pages 357-371 Rationale of the O 2 system....Pages 372-376 The background of the DASDBS & COSMOS projects....Pages 377-388 The rationale behind DBPL....Pages 389-395