The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
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)
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Data Models
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A Modal System of Algebras for Database Specification and Query/Update Language Support
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
AIM - An Integrity Monitor for the Database System INGRES
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The role of time in information processing: a survey
ACM SIGMOD Record
Theory of Relational Databases
Theory of Relational Databases
Stepwise specification of dynamic database behaviour
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A transaction logic for database specification
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
IEEE Transactions on Knowledge and Data Engineering
Semantic Query Optimization for Tree and Chain Queries
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Database Application Development as an Object Modeling Activity
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Hi-index | 0.00 |