The Efficient Support of Functionally-Defined Data in Cactis

  • Scott E. Hudson
  • Roger King
Part of the Topics in Information Systems book series (TINF)


Cactis is an object-oriented database management system developed at the University of Colorado. The data model underlying Cactis is based on a principle we call active semantics, and is designed to support complex functionally-defined data. In an active semantics database, each entity is assigned a behavioral specification which allows it to respond to changes elsewhere in the database. Each entity may be a piece of non-derived or (possibly complex) derived data, and may have constraints associated with it. Derived data and constraint specifications are maintained automatically and efficiently by the system. Furthermore, the active semantics data model supports an efficient rollback and recovery mechanism, which enables the user to freely explore the database. Cactis has been implemented and a distributed version is under development.


Semantic Model Attribute Evaluation Customer Order Active Semantic Type Descriptor 
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. [Born81]
    Borning, A.: “The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory”, In: ACM Transactions on Programming Languages, Vol. 3, No. 4, pp. 353–387, October 1981.Google Scholar
  2. [BuCI79]
    Buneman, O.P., Clemons, E.K.: “Efficiently Monitoring Relational Databases”, ACM TODS, Vol. 4, pp. 368–382, September 1979.CrossRefGoogle Scholar
  3. [BuFN82]
    Buneman, P., Frankel, R.E., Nikhil, R.: “An Implementation Technique for Database Query Languages”, ACM TODS, Vol. 7, No. 2, pp. 164–186, June 1982.CrossRefGoogle Scholar
  4. [DeRT81]
    Demers, A., Reps, T., Teitelbaum, T.: “Incremental Evaluation for Attribute Grammars with Application to Syntax Directed Editors”, Conference Record of the 8th Annual Symposium on Principles of Programming Languages, pp. 105–116, January 1981.Google Scholar
  5. [DiDa86]
    Dittrich, K., Dayal, U., (Eds.): Proc. International Workshop on Object-Oriented Database Systems, IEEE Computer Society Press, Washington, September 1986.Google Scholar
  6. [FaKM85]
    Farmer, D., King, R., Myers, D.: “The Semantic Database Constructor”, IEEE Transactions on Software Engineering SE-11, pp. 583–590, July 1985.Google Scholar
  7. [HuKi87]
    Hull, R., King, R.: “Semantic Database Modeling: Survey, Applications, and Research Issues”, ACM Computing Surveys, September 1987.Google Scholar
  8. [KiMc85]
    King, R., McLeod, D.: “Semantic Database Models”, In: Database Design, Yao, S.B., (Ed.), Prentice Hall, 1985.Google Scholar
  9. [King84b]
    King, R.: “Sembase: A Semantic DBMS”, Proc. 1st International Workshop on Expert Database Systems, Kiawah Island, SC, pp. 151–171, October 1984.Google Scholar
  10. [Knut68]
    Knuth, D.E.: “Semantics of Context-Free Languages”, Math. Systems Theory J. 2, pp. 127–145, June 1968.CrossRefMATHMathSciNetGoogle Scholar
  11. [Knut71]
    Knuth, D.E.: “Semantics of Context-Free Languages: Correction”, Math. Systems Theory J. 5, pp. 95–96, March 1971.CrossRefMATHMathSciNetGoogle Scholar
  12. [LaSm84]
    Lafue, G.M.E., Smith, R.G.: “Implementation of a Semantic Integrity Manager with a Knowledge Representation System”, Proc. 1st International Workshop on Expert Database Systems, Kiawah Island, SC, 172–185, October 24–27 1984.Google Scholar
  13. [Morg84]
    Morgenstern, M.: “The Role of Constraints in Databases, Expert Systems, and Knowledge Representation”, Proc. 1st International Workshop on Expert Database Systems, Kiawah Island, SC, pp. 207–223, October 24–27 1984.Google Scholar
  14. [Reps82]
    Reps, T.: “Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors”, Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, pp. 169–176, January 1982.Google Scholar
  15. [ReTD83]
    Reps, T., Teitelbaum, T., Demers, A.: “Incremental Context’Dependent Analysis for Language-Based Editors”, Trans. Progr. Lang. and Systems 5, pp. 449–477, July 1983.CrossRefGoogle Scholar
  16. [ShKe86]
    Shepherd, A., Kerschberg, L.: "Constraint Management in Expert Database Systems", In: [Kers86].Google Scholar
  17. [StKe80]
    Stonebraker, M., Keller, K.: “Embedding Expert Knowledge and Hypothetical Databased into a Database System”, Proc. ACM­SIGMOD Conference, 1980.Google Scholar
  18. [Ston81a]
    Stonebraker, M.: “Hypothetical Data Bases as Views”, Proc. 1981 ACM-SIGMOD Conference, Boston, MA, May 1981.Google Scholar
  19. [Ullm82]
    Ullman, J.D.: Principles of Database Systems, Computer Science Press, Rockville, MD, 1982.Google Scholar
  20. [WoSt83]
    Woodfill, J., Stonebraker, M.: “An Implementation of Hypothetical Relations”, Proc. 9th International Conference on VLDB, Florence, Italy, December 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Scott E. Hudson
  • Roger King

There are no affiliations available

Personalised recommendations