Skip to main content
SpringerLink
Log in

A Meta-language for Specification of Evolving Class and Object Lattices in OODB

  • Conference paper
East/West Database Workshop

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

The purpose of the paper is to describe the design of logic-based meta-language for representing constraints on managing evolution of class and object lattices in OODB. It will be prototypically incorporated to the object-oriented environment and language NUT. One of the goals of the paper is also to propose clean solutions to the integration of the procedural object-oriented programming language and declarative logic based language for representing evolution in OODB.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kim H-J, Algoritmic and Computational Aspects of OODB Schema Design,In: R. Gupta, E. Horowitz (Eds), Object-Oriented Database wirh Applications to CASE, Networks, and VLSI CAD, Prentice Hall, 1991, pp 26–62

    Google Scholar 

  2. Heuer A. and Sander P, The LIVING IN A LATTICE rule language, Data Knowledge Engineering No 9 (1992/93) 249–286

    Google Scholar 

  3. Hem J. A. and Sloth L, Object-Oriented Database management Systems. A Design for Schema Evolution in Beta-Flex, Technical Report AoOOP-nr 33, Aarhus University, Dept. of Computer Science, October 1992.

    Google Scholar 

  4. Tsuda K, Tanaka M.Yamamoto K, etc., MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures,IEEE Transactions on Knowledge and Data Engineering, Vol 3 No 4, 1991, pp 444–460

    Google Scholar 

  5. Bergstein P. L., Object-Preserving Class Transformations, In: SIGPLAN NOTICES, Vol 26, No 11, 1991

    Google Scholar 

  6. Kangassalo H, COMIC: A system and methodology for conceptual modelling and information construction, Data and Knowledge Engineering No 9 (1992/93) 287–319

    Google Scholar 

  7. Kifer M. and Lausen G., F-logic: A Higher-order Language for Reasoning about Objects, Inheritance, and Schema, In: Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data, June 1989 pp. 134–146

    Google Scholar 

  8. Bancilhon F. and Khoshafian S., A Calculus of Complex Objects, J. of Computer and Systems Sciences 38, 326–340 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  9. Fischer Nilsson J., An Algebraic Logic for Concept Structures, In: Information Modeling and Knowledge Bases V, IOS Press, Amsterdam 1994 pp 75–85

    Google Scholar 

  10. Haav H-M, Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction, In: U. W. Lipeck, B. Thalheim (eds.), Modelling Database Dynamics. Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany, Springer-Verlag, London, 1993 pp 48–63

    Google Scholar 

  11. Haav H-M, Matskin M. Using Partial Deduction for automatic propagation of changes in OODB, In: Information Modelling and Knowledge Bases IV: Foundations, Theory and Applications, IOS Press, Amsterdam, 1993 pp 339–353

    Google Scholar 

  12. Kim W and Chou H-T, Versions of schema for object-oriented databases, In: Proc. of the 14th VLDB Conference, Los Angeles, California 1988

    Google Scholar 

  13. Scholl M. H., Laasch C. and Tresch M., Updatable Views in Object-Oriented Databases, DOOD’91, LNCS 566, 1991

    Google Scholar 

  14. Kifer M.and Wu J., A Logic for Programming with Complex Objects, J. of Computer and Systems Sciences 47, 77–120 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  15. Greco S, Leone N and Rullo P, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, Vol 4 No 4, 1992 pp 344–359

    Article  Google Scholar 

  16. Tyugu E, Matskin M, Penjam J, Eomois P. NUT-An object-oriented language, Computers and Artificial Intelligence 1986, 6: 521–542

    Google Scholar 

  17. Eomois P. Knowledge Representation and Deduction in extended PRIZ, In: Plander J. (Ed.) Artificial Intelligence and Information Control Systems of Robots, Elsevier Science Publishers B. V., North-Holland, 1984 pp 123–127

    Google Scholar 

  18. Komorowski J. and Matskin M, Reasoning and Synthesis in an Object-Oriented Environment by Partial Deduction, In: Proceedings of Norwegian Conference on Informatics NIK’94, Molde, 14–16 November, 1994 (to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Cybernetics, Estonian Academy of Sciences, Akadeemia tee 21, EE0026, Tallinn, Estonia

    Hele-Mai Haav

Authors
  1. Hele-Mai Haav
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstrasse 65, A-9020, Klagenfurt, Austria

    Johann Eder

  2. Institute for Problems of Informatics, Russian Academy of Sciences, Vavilov Street, 30/6, 117900, Moscow, v-334, Russian Federation

    Leonid A. Kalinichenko

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haav, HM. (1995). A Meta-language for Specification of Evolving Class and Object Lattices in OODB. In: Eder, J., Kalinichenko, L.A. (eds) East/West Database Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3577-7_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3577-7_11

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19946-5

  • Online ISBN: 978-1-4471-3577-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation