Deciding properties of transactional schemas
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Axiomatization and simplification rules for relational transactions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Mapping a semantic database model to the relational model
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Extending the relational algebra to support transaction time
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Query Optimization for Nontraditional Database Applications
IEEE Transactions on Software Engineering
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |