3. MFDBS 1991: Rostock, Germany

Bernhard Thalheim, János Demetrovics, Hans-Detlef Gerhardt (Eds.): MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings. Lecture Notes in Computer Science 495 Springer 1991, ISBN 3-540-54009-1

MFDBS 91 is the third of a series of biannual conferences. The first two were held in Dresden 1987 and Visegrád in 1989. The 1991 conference is organized by the Rostock University. The Changes in Europe make it possible to integrate the two conferences on Database Theory in Europe (ICDT and MFDBS). Therefore, the next ICDT conference is also the continuation of the MFDBS conferences.

• Title pages, Preface, Table of Contents.
  

Complex Objects

• Jan Van den Bussche:
  Complex Object Multi-Level Fixpoint Queries. 1-13
  
• Andreas Heuer, Peter Sander:
  Classifying Object-Oriented Query Results in a Class/Type Lattice. 14-28
  
• Leonid Libkin:
  A Relational Algebra for Complex Objects Based on Partial Information. 29-43
  
• Peter Sander:
  Specifying Operations for Nested Relations by Rules and Partial Orders. 44-58
  

Logics

• Els Laenens, Dirk Vermeir:
  On the Relationship between Well-Founded and Stable Partial Models. 59-73
  
• Dimitri Theodoratos:
  Monadic Databases with Equality. 74-88
  
• Roel Wieringa, John-Jules Ch. Meyer:
  Actor-Oriented Specification of Deontic Integrity Constraints. 89-103
  

Update and Queries

• Paolo Atzeni, Riccardo Torlone:
  Solving Ambiguities in Updating Deductive Databases. 104-118
  
• Wenceslas Fernandez de la Vega, Vangelis Th. Paschos, A. N. Staylopatis:
  On the Mean Execution Time of Recursive Definitions on Relational Databases. 119-133
  
• M. E. Iofinova:
  Updating Hierarchical Databases by Complex Forms. 134-145
  

Storage and Organization

• Steve Taylor, Nabil I. Hachem:
  A Direct Algorithm for Computing the Transitive Closure of a Two-Dimensionally Structured File. 146-159
  
• John K. Lee, Alan Fekete:
  Multi-Granularity Locking for Nested Transaction Systems. 160-172
  
• Aris M. Ouksel, Otto Mayer:
  The Nested Interpolation Based Grid File. 173-187
  

Deductive Databases

• Luc Albert, Mireille Régnier:
  Complexity of Recursive Production Rules Execution. 188-200
  
• Guozhu Dong:
  On the Monotonicity of (LDL) Logic Programs with Sets. 201-215
  
• Beat Wüthrich:
  Semantic Improvement of Deductive Databases. 216-229
  

Integrity Constraints

• János Demetrovics, Lajos Rónyai, Hua nam Son:
  On the Representation of Dependencies by Propositional Logic. 230-242
  
• Stephen J. Hegner:
  Pairwise-Definable Subdirect Decompositions of General Database Schemata. 243-257
  
• Ye. P. Yemelchenkov, M. Sh. Tsalenko:
  Functional Dependencies in Hierarchical Structures of Data. 258-275
  

Object-Oriented Databases

• Joachim Biskup, Pratul Dublish:
  Objects in Relational Database Schemes with Functional, Inclusion and Exclusion Dependencies. 276-290
  
• Gunter Saake, Ralf Jungclaus, Cristina Sernadas:
  Abstract Data Type Semantics for Many-Sorted Object Query Algebras. 291-307
  
• Constantin Arapis:
  Temporal Specifications of Object Behavior. 308-324
  

Database Programming Languages

• Filippo Cacace, Stefano Ceri, Letizia Tanca:
  Consistency and Non-determinism in a Database Programming Language. 325-341
  

Modeling

• Terry A. Halpin:
  A Fact-Oriented Approach to Schema Transformation. 342-356
  
• Gerd Wagner:
  A Database Needs Two Kinds of Negation. 357-371
  

The Theoretical Basis of Systems

• Christophe Lécluse:
  Rational of the O2 System. 372-376
  
• Hans-Jörg Schek, Marc H. Scholl, Gerhard Weikum:
  The Background of the DASDBS & COSMOS Projects. 377-388
  
• Joachim W. Schmidt, Florian Matthes:
  The Rational behind DBPL. 389-395