Skip to main content
SpringerLink
Log in

Safe Derivations in Object Hierarchies

  • Conference paper
OOIS’94

  • 41 Accesses

Abstract

We present a language for specifying structure and behavior of objects in information systems. This language is restricted to a set of core concepts for conceptual modeling. But it includes powerful concepts for specifying constraints and derived data. We present an algorithm for deciding on safe computation of derived information and demonstrate how this algorithm works with an example.

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. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The Object-Oriented Database System Manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio, eds., Deductive and Object-Oriented Databases, pages 223–240. Elsevier (North-Holland), 1990.

    Google Scholar 

  2. S. Abiteboul. Towards a deductive object-oriented database language. Data & Knowledge Engineering, 5(2):263–287, 1990.

    Article  MathSciNet  Google Scholar 

  3. K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowlewdge. In J. Minker, ed., Foundations of Deductive Databases and Logic Programming, pages 89–148. Kaufmann, 1988.

    Google Scholar 

  4. S. Abiteboul, P.C. Fischer, and H.J. Schek, eds. Nested Relations and Complex Objects in Databases, Springer, LNCS 361, 1989.

    Google Scholar 

  5. S. Abiteboul and S. Grumbach. A Rule-Based Language with Functions and Sets. ACM Trans, on Database Systems, 16(1): 1–30, 1991.

    Article  MathSciNet  Google Scholar 

  6. S. Abiteboul and R. Hull. IFO — A Formal Semantic Database Model. ACM Trans, on Database Systems, 12(4):525–565,1987.

    Article  MathSciNet  Google Scholar 

  7. S. Abiteboul and P.C. Kanellakis. Object Identity as a Query Language Primitive. In ACM SIGMOD Conf. on Management of Data, pages 159–173, 1989.

    Google Scholar 

  8. F. Bancilhon. Object-Oriented Database Systems. In Proc. 7th ACM Symp. Principles of Database Systems, pages 152–162, 1988.

    Google Scholar 

  9. C. Beeri. A Formal Approach to Object-Oriented Databases. Data & Knowledge Engineering, 5(4):353–382, 1990.

    Article  Google Scholar 

  10. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, and K. St0len. The Requirement and Design Specification Language SPECTRUM — An Informal Introduction (2 parts). Technical Report TUM-I9311/9312, TU München, 1993.

    Google Scholar 

  11. S. Brass and U.W. Lipeck. Semantics of Inheritance in Logical Object Specifications. In C. Delobel, M. Kifer, and Y. Masunaga, eds., Deductive and Object-Oriented Databases (DOOD’91), pages 411–430. Springer, LNCS 566, 1991.

    Google Scholar 

  12. S. Brass and U.W. Lipeck. Generalized Bottom-Up Query Evaluation. In A. Pirotte, C. Delobel, and G. Gottlob, eds., Advances in Database Technology – EDBT’92, pages 88–103. Springer, LNCS 580,1992.

    Google Scholar 

  13. C. Beeri, S. Naqvi, O. Shmuelli, and S. Tsur. Set Constructors in a Logic Database Language. Journal of Logic Programming, 10(3): 181–232,1991.

    Article  MathSciNet  MATH  Google Scholar 

  14. S. Conrad and M. Gogolla. An Annotated Bibliography on Object-Orientation and Deduction. ACM SIGMOD RECORD, 21(1): 123–132,1992.

    Article  Google Scholar 

  15. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.

    Google Scholar 

  16. S. Ceri, G. Gottlob, and L. Tanca. What You always wanted to Know About Datalog (And Never Dared to Ask). IEEE Transaction on Knowledge and Data Engineering, 1(1): 146–166,1989.

    Article  Google Scholar 

  17. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer New York, 1990.

    Google Scholar 

  18. W. Chen, M. Kifer, and D.S. Warren. HiLog as a Platform for Database Languages (or why predicate calculus is not enough). In D. Stemple R. Hull, R. Morrison, ed., Proc. Int. Workshop on DB Programming Languages, pages 315–329. Kaufmann, 1989.

    Google Scholar 

  19. S. Conrad. On Certification of Specifications for TROLL light Objects. In F. Orejas, ed., Proc. 9th Workshop on Abstract Data Types - 4th Compass Workshop (WADT/Compass’92. Springer, LNCS, 1994.

    Google Scholar 

  20. O. Deux. The Story of O2. IEEE Transaction on Knowledge and Data Engineering, 2(1):91–108,1990.

    Article  Google Scholar 

  21. H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technical Report 83–03, Technische Universität Berlin, 1983.

    Google Scholar 

  22. G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H.-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, North-Holland, 9(2): 157–204, 1992.

    Google Scholar 

  23. H.-D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J.W. deBakker, W.P. deRoever, and G. Rozenberg, eds., Proc. REX/FOOL Workshop, pages 203–228, Noordwijkerhood (NL), 1990. LNCS 489, Springer, Berlin.

    Google Scholar 

  24. M.-C. Gaudel. A First Introduction to PLUSS. Technical Report, Université de Paris-Sud, Orsay, 1984.

    Google Scholar 

  25. M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, ed., Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO’93), pages 17–32. Springer, Berlin, LNCS 722,1993.

    Google Scholar 

  26. M. Gogolla and U. Hohenstein. Towards a Semantic View of an Extended Entity- Relationship Model. ACM Trans, on Database Systems, 16(3):369–416, 1991.

    Article  MathSciNet  Google Scholar 

  27. J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRI-CSL-88–9, SRI International, 1988.

    Google Scholar 

  28. R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, ed., Proc. Basque Int. Workshop on Information Technology (BIWIT94): Information Systems Design and Hypermedia, pages 183–194. Cépaduès-Éditions, Toulouse, 1994.

    Google Scholar 

  29. A. Heuer. A Data Model for Complex Objects Based on a Semantic Database Model and Nested Relations. In S. Abiteboul, P.C. Fischer, and H.-J. Schek, eds., Proc. Nested Relations and Complex Objects in Databases, pages 297–312. Springer, LNCS 361, 1989.

    Google Scholar 

  30. M. Hammer and D. McLeod. Database Description with SDM: A Semantic Database Model. ACM Trans, on Database Systems, 6(3):351–386,1981.

    Article  Google Scholar 

  31. A. Heuer and P. Sander. Classifying Object-Oriented Query Results in a Class/Type Lattice. In B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, eds., Math. Fundamentals of Database Systems MFDBS, pages 14–28. Springer, LNCS 495, 1991.

    Google Scholar 

  32. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91–04, TU Braunschweig, 1991.

    Google Scholar 

  33. M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. In ACM SIGMOD Conf. on Management of Data, pages 134–146,1989.

    Google Scholar 

  34. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame- Based Languages. Informatik-Manuskript 3/1990, University of Mannheim, 1990.

    Google Scholar 

  35. G. Kuper. Logic Programming with Sets. Journal of Computer and System Sciences, 41(1):44–64,1990.

    Article  MathSciNet  MATH  Google Scholar 

  36. P. Lyngbaek and W. Kent. A Data Modeling Methodology for the Design and Implementation of Information Systems. In K.R. Dittrich and U. Dayal, eds., Proc. of the Int. Workshop on Object-Oriented Database Systems (California), pages 6–17, 1986.

    Google Scholar 

  37. E. Laenens, D. Sacca, and D. Vermeir. Extending Logic Programming. In ACM SIGMOD Conf. on Management of Data, pages 184–193,1990.

    Google Scholar 

  38. E. Laenens and D. Vermeir. A Fixpoint Semantics for Ordered Logic. Journal of Logic and Computation, 1(2): 159–185,1990.

    Article  MathSciNet  MATH  Google Scholar 

  39. E. Laenens and D. Vermeir. On the Relationship between Well-Founded and Stable Partial Models. In B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, eds., Math. Fundamentals of Database Systems MFDBS, pages 59–73. Springer, LNCS 495,1991.

    Google Scholar 

  40. S.A. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  41. P. Pistor and F. Andersen. Designing a Generalized NF2 Model with an SQL-Type Language Interface. In W. Chen, G. Gardarin, and S. Ohsuga, eds., Int. Conf. on Very Large Data Bases VLDB, pages 278–285. Kaufmann, 1986.

    Google Scholar 

  42. L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, ed., Logic and Computer Science, pages 361–385. Academic Press, 1990.

    Google Scholar 

  43. H.-J. Schek and M.H. Scholl. The Relational Model with Relation-Valued Attributes. Information Systems, 11(2): 137–147,1986.

    Article  MATH  Google Scholar 

  44. F. Staes, L. Tarantino, and B. Verdonk. A Logic Approach for Supporting Queries in Object Oriented Databases. In F. Van Assche, B. Moulins, and C. Rolland, eds., Proc. IFIP Working Conf on the Object-Oriented Approach in Information Systems, pages 193–208. North-Holland, 1991.

    Google Scholar 

  45. F. Staes, L. Tarantino, B. Verdonk, and D. Vermeir. Supporting User Interaction with OODB’s: A Declarative Approach. In D. Karagiannis, ed., Proc. Int. Conf. on Database and Expert System Applications (DEXA’91), pages 210–215. Springer, 1991.

    Google Scholar 

  46. J.D. Ullman. A Comparison of Deductive and Object-Oriented Database Systems. In C. Delobel, M. Kifer, and Y. Masunaga, eds., Deductive and Object-Oriented Databases (DOOD’91), pages 263–277. Springer, LNCS 566,1991.

    Google Scholar 

  47. N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart, and C. Cauvet, eds., Proc. 5th Int. Conf. on Advanced Information Systems Engineering (CAiSE’93), pages 463–482. Springer, Berlin, LNCS 685, 1993.

    Google Scholar 

  48. C. Zaniolo. Object Identity and Inheritance in Deductive Databases -— an Evolutionary Approach. In W. Kim, J.-M. Nicolas, and S. Nishio, eds., Proc. Int. Conf on Deductive and Object-Oriented Databases (DOOD’89), pages 7–24. North-Holland, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fakultät für Informatik, Universität Magdeburg, Postfach 4120, D-39016, Magdeburg, Germany

    Stefan Conrad

  2. FB3 Mathematik und Informatik, Universität Bremen, Postfach 33 04 40, D-28334, Bremen, Germany

    Martin Gogolla & Rudolf Herzig

Authors
  1. Stefan Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rudolf Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Information Systems and Mathematics, South Bank University, 103 Borough Road, SE1 0AA, London, UK

    Dilip Patel , Yuan Sun  & Shushma Patel ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springr-Verlag London Limited

About this paper

Cite this paper

Conrad, S., Gogolla, M., Herzig, R. (1995). Safe Derivations in Object Hierarchies. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’94. Springer, London. https://doi.org/10.1007/978-1-4471-3016-1_25

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3016-1_25

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19927-4

  • Online ISBN: 978-1-4471-3016-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation