Constraint management in expert database systems
Proceedings from the first international workshop on Expert database systems
Implementation of a semantic integrity manager with a knowledge representation system
Proceedings from the first international workshop on Expert database systems
The role of constraints in databases, expert systems, and knowledge representation
Proceedings from the first international workshop on Expert database systems
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of Database Systems
Principles of Database Systems
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Embedding expert knowledge and hypothetical data bases into a data base system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Hypothetical data bases as views
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
An Implementation of Hypothetical Relations
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
FaceKit: a database interface design toolkit
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Bayan: an Arabic text database management system
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
An object-oriented data model for partition processing in distributed databases
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
An Architecture for High Performance Engineering Information Systems
IEEE Transactions on Software Engineering
An object-oriented data model for partition processing in distributed databases
ACM SIGSMALL/PC Notes
Designing database interfaces with DBface
ACM Transactions on Information Systems (TOIS)
Working with Persistent Objects: To Swizzle or Not to Swizzle
IEEE Transactions on Software Engineering
PARDES: a data-driven oriented active database model
ACM SIGMOD Record
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Set Restrictions for Semantic Groupings
IEEE Transactions on Knowledge and Data Engineering
Optimization of Materialization Strategies for Derived Data Elements
IEEE Transactions on Knowledge and Data Engineering
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
IEEE Transactions on Knowledge and Data Engineering
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
Freeform: A User-Adaptable Form Management System
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Performance and Utility of the Cactis Implementation Algorithms
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Hi-index | 0.00 |
Cactis is an object-oriented database management system being 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. An in-memory version of Cactis exists and a full DBMS is near completion.