Skip to main content
SpringerLink
Log in

Objects with Views and Constraints: from Databases to Knowledge bases

  • Conference paper
OOIS’94

Abstract

We present an object model which embodies views as a primitive notion. Assertions play a prominent role in defining classes and views in a declarative manner, and in implementation issues, through the partitioning of the object space which is derived from their analysis. Assertions may be interpreted as integrity constraints or production rules according to whether the class of the object is known (databases), or has to be inferred from the known attribute values (knowledge bases).

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. E. Abecassis, YOODA user’s guide, APIC systèmes, Arcueil, France, 1994.

    Google Scholar 

  2. S. Abiteboul, R. Hull, IFO; A Formal Semantiatabase Model ACM Transaction on Database Systems, Vol 12, No. 4, Dec 1987, pages 525–565.

    Article  MathSciNet  Google Scholar 

  3. S. Abiteboul, A. Bonner, Objects and Views, ACM SIGMOD, Denver, Colorado 29–31 May 1991.

    Google Scholar 

  4. M. Adiba, C. Collet, Objets et bases de données - le SGBD O2, ed HERMES 1993.

    Google Scholar 

  5. C.-G. Bassolet, Couplage à un modèle objet d’une mémoire associative basée sur la partition de l’espace des objets par des règles., DEA informatique fondamentale, Univ. Claude Bernard - Ecole Normale Supérieure de Lyon, France, Juin 1993.

    Google Scholar 

  6. C. Beeri, Formal models for object oriented databases. Procs of the first Int. Conf. on deductive and object-oriented databases (DOOD89). Kyoto, 4–6 Dec. 1989.

    Google Scholar 

  7. R. Brachman, Viewing Data through a Knowledge Representation Lens, KB & KS’93, Tokyo, 1993.

    Google Scholar 

  8. K. Bruce, P. Wegner, An Algebraic Model of Subtypes in Objet-Oriented Languages, SIGPLAN Notices V21 #10, Oct 1986.

    Google Scholar 

  9. L. Cardelli, P. Wegner, On understanding Types, Data Abstractions, and Polymorphism, ACM Computing Surveys, voll7,1985.

    Google Scholar 

  10. R. G. G. Cattell, T. Atwood, J. Duhl, G. Ferran, M. Loomis, D. Wade, Object Database Standard: OD MG-93, Morgan Kaufmann Publishers, 1994.

    Google Scholar 

  11. W. J. Clancey, Heuristic Classification, Artificial Intelligence 27 (1985), pages 289–350.

    Article  Google Scholar 

  12. C. J. Date and David McGoveran. A New Database Design Principle. In DATABASE Programming and Design, July 1994.

    Google Scholar 

  13. O. Deux et al., The O2 System, CACM, October 1991, Vol 34, No. 10, pages 34–48.

    Google Scholar 

  14. R. Fikes, T. Keller The role of Frame-based Representation in Reasoning, CACM 85, 28(9): pages 904–920,1985.

    Google Scholar 

  15. J. Guttag, J. Horning, The Algebraic Specification of Abstract Data Types, Acta Informatica, 1978.

    Google Scholar 

  16. R. Hull, R. King, Semantics Database Modelling: Survey, Applications, and Research Issues, ACM Computing Surveys, Vol 19, No. 3, Sept 1987, pages 201–260.

    Article  Google Scholar 

  17. W. Kim, Object-Oriented Database Systems: Promises, Reality, and Future, Proceedings of the 19th VLDB Conference, Dublin, Ireland 1993.

    Google Scholar 

  18. E. Langevin, Prototype de système expert à base de connaissances dédié à l’identification de fonctions cellulaires portées par la séquence proteique DEA GBM, Univ. Cl. Bernaid, Lyon, France 1993.

    Google Scholar 

  19. B. J., MacLennan Values and Objects in Programming Languages. SIGPLAN notices, V17, #12, Dec. 1982.

    Google Scholar 

  20. B. Liskov, B. Zilles, Programming with Abstract Data Types - Proc. of a Symp. on Very High Level Language, Sigplan Notices 9,4, April 74.

    Google Scholar 

  21. A. Napoli, Représentation à Objets et Raisonnement par Cassification en IA, Thèse Docteur Es-Sciences, Université Nancy 1, France, 1992.

    Google Scholar 

  22. A. Sales-Simonet, Types Abstraits et Bases de Données: formalisation du concept de partage et analyse statique de contraintes d’intégrité - Thèse Docteur Ingénieur, Université Scientifique et Médicale de Grenoble, France, Avril 1984.

    Google Scholar 

  23. A. Simonet, Les P-TYPES: un modèle pour la définition de bases de connaissances centrées-objets cohérentes - R.R. 751–1 laboratoire ARTEMIS - Grenoble, France, Novembre 1988.

    Google Scholar 

  24. A. Simonet, M. Simonet, Les classes d’équivalence induites par des dépendances inter-attributs: fondements pour une représentation des objets partagés dans les bases de connaissances - R.R. 769–1 laboratoire ARTEMIS - Grenoble, France, Février 89.

    Google Scholar 

  25. A. Simonet, M. Simonet, OSIRIS: An Assertion-based Hybrid Object-Connexionist Knowledge Base System - 14th International Conference on Artificial Intelligence, KBS, Expert-Systems and Natural Language, Avignon, France, may 30–june 3, 1994.

    Google Scholar 

  26. A. Simonet, M. Simonet, C-G. Bassolet, J. Demongeot, Une architecture connexionniste pour un système hybride de représentation de connaissances orienté-objet., Colloque sur le Neuromimétisme - Lyon, france, June 1994.

    Google Scholar 

  27. M. Stonebraker et al., On rules, procedures caching and views, ACM SIGMOD conference on management of data - Atlantic City - June 1990.

    Google Scholar 

  28. J. Ullman, New Frontiers in Database System Research, Proceedings on International Conference on the Occasion of the 25th Anniversary of INRIA Paris, France, Dec 1992.

    Google Scholar 

  29. T. Winograd, Frame Representations and the Declarative/Procedural Controversy, Representation and Understanding: Studies in Cognitive Science, pages 185–210, edited by D. G. Bobrow and A. M. Collins, New York: Academic Press, 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire TIMC-IMAG, Faculté de Médecine de Grenoble, 38706, La Tronche Cedex, France

    Ana Simonet & Michel Simonet

Authors
  1. Ana Simonet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michel Simonet
    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

Simonet, A., Simonet, M. (1995). Objects with Views and Constraints: from Databases to Knowledge bases. In: Patel, D., Sun, Y., Patel, S. (eds) OOIS’94. Springer, London. https://doi.org/10.1007/978-1-4471-3016-1_14

Download citation

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

  • 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