IEEE Transactions on Software Engineering · 1988 · 78 citations · 43 references
ComputingComputer ScienceComputer SystemsData ManagementDatabasesSoftware EngineeringData ModelingData TypesDatabase DesignDatabase ManagementObject-oriented DesignObject-relational DatabasesConstructorsDatabase Management SystemsDatabase TransactionsObject-relational Data ModelsSemantic ModelsTransactionsTransformationsType Constructors
The Cactis project is an on-going effort oriented toward extending database support from traditional business-oriented applications to software environments. The main goals of the project are to construct an appropriate model, and develop new techniques to support the unusual data management needs of software environments, including program compilations, software configurations, load modules, project schedules, software versions, nested and long transactions, and program transformations. The ability to manage derived information is common to many of these data needs, and the Cactis database management system has the ability to represent and maintain derived data in a time- and space-efficient fashion. A central contribution of Cactis is its integration of the type constructors of semantic models and the localized behavior capabilities of object-oriented database management systems.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
43
Semantics of context-free languages
Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations
Michael Hammer, Dennis Mc Leod · ACM Transactions on Database Systems · 1981 · 754 citations · Full text
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text