Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
RCS—a system for version control
Software—Practice & Experience
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Cooperative transaction hierarchies: a transaction model to support design applications
Proceedings of the sixteenth international conference on Very large databases
Toward a unified framework for version modeling in engineering databases
ACM Computing Surveys (CSUR)
ACTA: a framework for specifying and reasoning about transaction structure and behavior
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Multi-level transactions and open nested transactions
Data Engineering
Concurrent constraint programming
Concurrent constraint programming
Implementing extended transaction models using transaction groups
Implementing extended transaction models using transaction groups
Fuzzy logic in data modeling: semantics, constraints, and database design
Fuzzy logic in data modeling: semantics, constraints, and database design
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relaxing the limitations of serializable transactions in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Practical Applications of Fuzzy Technologies
Practical Applications of Fuzzy Technologies
Fuzziness in Database Management Systems
Fuzziness in Database Management Systems
A Mathematical Theory of Design: Foundations, Algorithms and Applications
A Mathematical Theory of Design: Foundations, Algorithms and Applications
Constraint Databases
Constraint Databases: A Survey
Selected Papers from a Workshop on Semantics in Databases
Hi-index | 0.00 |
We argue that database support for design processes is still inadequate, despite the many transaction models that have been put forth to fill this deficiency. In our opinion, substantial improvement is not to be gained by introducing yet another transaction model, but by questioning the basic paradigm of transaction processing itself. Instead of the usual view of transactions as destructive operations replacing an outdated database state with a more current one, we propose to view design transactions as non-destructive operations importing additional knowledge about an essentially unchanging final design solution. This leads to a model of designing with constraints, and a natural way of concurrent design. We give a formal presentation of the model and then discuss implementation techniques for centralized and distributed constraint management.