Skip to main content
SpringerLink
Log in
Book cover

MFDBS 91

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

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Bernhard Thalheim
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. János Demetrovics
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. H. -D. Gerhardt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 495)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Complex object multi-level fixpoint queries

    • Jan Van den Bussche
    Pages 1-13

  3. Classifying object-oriented query results in a class/type lattice

    • Andreas Heuer, Peter Sander
    Pages 14-28

  4. A relational algebra for complex objects based on partial information

    • Leonid Libkin
    Pages 29-43

  5. Specifying operations for nested relations by rules and partial orders

    • Peter Sander
    Pages 44-58

  6. On the relationship between well-founded and stable partial models

    • E. Laenens, D. Vermeir
    Pages 59-73

  7. Monadic databases with equality

    • Dimitri Theodoratos
    Pages 74-88

  8. Actor-oriented specification of deontic integrity constraints

    • R. J. Wieringa, J. -J. Ch Meyer
    Pages 89-103

  9. Solving ambiguities in updating deductive databases

    • Paolo Atzeni, Riccardo Torlone
    Pages 104-118

  10. On the mean execution time of recursive definitions on relational databases

    • W. Fernandez de la Vega, V. Th Paschos, A. N. Stafylopatis
    Pages 119-133

  11. Updating hierarchical databases by complex forms

    • M. E. Iofinova
    Pages 134-145

  12. A direct algorithm for computing the transitive closure of a two-dimensionally structured file

    • Stephen Taylor, Nabil I. Hachem
    Pages 146-159

  13. Multi-granularity locking for nested transaction systems

    • J. K. Lee, A. Fekete
    Pages 160-172

  14. The Nested Interpolation Based Grid File

    • M. Aris Ouksel, Otto Mayer
    Pages 173-187

  15. Complexity of recursive production rules execution

    • Luc Albert, Mireille Régnier
    Pages 188-200

  16. On the monotonicity of (LDL) logic programs with set

    • G. Dong
    Pages 201-215

  17. Semantic improvement of deductive databases

    • Beat Wüthrich
    Pages 216-229

  18. On the representation of dependencies by propositional logic

    • Demetrovics J., Rónyai L., Hua nam Son
    Pages 230-242

  19. Pairwise-definable subdirect decompositions of general database schemata

    • Stephen J. Hegner
    Pages 243-257

  20. Functional dependencies in hierarchical structures of data

    • Yemelchenkov Ye P., Tsalenko M. Sh
    Pages 258-275
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation