Supporting User Interactions with OODB’s: A Declarative Approach

  • F. Staes
  • L. Tarantino
  • B. Verdonk
  • D. Vermeir
Conference paper


In this paper we discuss the graphical interaction environment to the object-oriented knowledge base system KIWIS. This environment provides both customizable views on the data and several interaction paradigms with different complexity. This is achieved by exploiting some characteristics of LOCO, the knowledge representation language of KIWIS. LOCO is based on a tight integration between the logic and the object-oriented paradigm, offering powerful modeling capabilities as well as declarative query capabilities. We discuss here the characteristics of LOCO which allow to effectively construct and maintain individual user’s views, and to achieve the property of closure under query: a query is an object which can be saved and used as an operand to another query, hence allowing incremental queries.


Logic Program Object Representation Virtual Object Knowledge Engineer Default Representation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. D. Ullman, Principles of database and knowledge-base systems, Pergamon Press, Rockville, Maryland, 1988.Google Scholar
  2. 2.
    F. Bancilhon,’Object Oriented Database Systems’ in Proceedings ofACM-SIGMOD, Austin, TX, March 1988.Google Scholar
  3. 3.
    The KIWIS team, The KIWIS Knowledge Base Management System’ in Proceedings of the Conference on Advanced Information Systems Engineering, Trondheim, Norway, May 1991.Google Scholar
  4. 4.
    P. Wegner, The Object-Oriented Classification Paradigm’ in Research Directions in Object-Oriented Programming, The MIT Press, Cambridge, Massachusetts, 1987.Google Scholar
  5. 5.
    W. Kim, ‘Object-Oriented Databases: Definition and Research Direction ? IEEE Transactions on Knowledge and Data Engineering, vol. 2 (3), pp. 327–342, September 1990.CrossRefGoogle Scholar
  6. 6.
    E. Laenens, B. Verdonk, D. Vermeir, and D. Sacca, The LOCO language: lbwards an integration of Logic and Object-Oriented Programming”, Workshop on Non-Monotonic Reasoning and Logic Programming, Austin (TX ), 1990.Google Scholar
  7. 7.
    E. Laenens, ‘Ordered Logic“, Ph.D. Thesis, University of Antwerp, Antwerp, Belgium, December 1990.Google Scholar
  8. F. Staes, E. Laenens, and L. Tarantino, °lbwards a flexible User Interface for Knowledge Bases’ in Proceedings of the 1990 IEEE Workshop on Visual Languages,pp. 193–148, Skokie, Illinois, 1990.Google Scholar
  9. 9.
    A. D’Atri and L. Tarantino, *From browsing to querying’ IEEE Data Engineering, June 1989.Google Scholar
  10. 10.
    F. Staes, L. Tarantino and B. Verdonk, A Logic Based Approach for supporting queries in object oriented databases’, 1b appear in the Proc. of the IFIP Conference on the Object Oriented Approach in Information Systems, Quebec City, 1991, Elsevier.Google Scholar
  11. 11.
    F. Staes, L. Tarantino, and B. Tiems,“ OOQBE: Object Oriented Query By Example”,1991, submitted for publication.Google Scholar
  12. 12.
    W. Kim, “A Model of Queries for Object-Oriented Databases” in Proceedings of the 15th Intl. Conf. on Wry Large Databases, pp. 423–432, Amsterdam, NL, August 22–25, 1990.Google Scholar
  13. 13.
    M. M. Zloof, ‘Query by Example’, IBM Systems Journal, vol. 16, no. 4, pp. 324–343, 1977.CrossRefGoogle Scholar
  14. 14.
    W. Chen and D. S. Warren, ‘C-Logic of Complex Objects“ in Proc. of the Eight Symposium on Principles of Data-base Systems, pp. 369–378, 1989.Google Scholar
  15. 15.
    M. Kifer and G. Lausen,’F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme“ in Proceedings ofACM-SIGMOD, pp. 134–148, 1989.Google Scholar
  16. 16.
    J. Thu and D. Maier, ‘Abstract Objects in an Object Oriented Data Model“ in Proceedings of the second Intl. Con f. on Expert Database Systems, 1988.Google Scholar
  17. 17.
    F. Staes, E. Laenens, D. Vermeir, and L. Tarantino,“ A seamless integration of graphics and dialogues within a logic based object-oriented language”, Journal of Visual Languages and Computing, vol. 1, pp. 313–332, 1990.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • F. Staes
    • 1
  • L. Tarantino
    • 2
  • B. Verdonk
    • 3
  • D. Vermeir
    • 4
  1. 1.Origin/Technology Support HCM-524CA EindhovenThe Netherlands
  2. 2.Dipt. di Ing. ElettricaUniversity of L’AquilaL’AquilaItaly
  3. 3.Research Center Alcatel - BellAntwerpenBelgium
  4. 4.Dept of Math. and Comp. Sc.University of AntwerpWilrijkBelgium

Personalised recommendations