Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
An Introduction to Database Systems
An Introduction to Database Systems
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Verification of concurrent programs, Part I: The temporal framework
Verification of concurrent programs, Part I: The temporal framework
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
Deciding properties of transactional schemas
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Stepwise specification of dynamic database behaviour
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An internal semantics for modal logic
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
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
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Real-time integrity constraints
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Dynamic constraints and database evolution
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Providing Time-Related Constraints for Conventional Database Systems
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Dynamic Constraints and Object Migration
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Hi-index | 0.00 |