Growing certainty with null values
Information Systems
On the correct translation of update operations on relational views
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)
Axiomatising the Logic of Computer Programming
Axiomatising the Logic of Computer Programming
On the Algebraic Specification of Databases
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Varqa - A Functional Query Language Based on an Algebraic Approach and Conventional Mathematical Notation
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Time modeling in office information systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A Language for Content-Based Video Retrieval
Multimedia Tools and Applications
A Temporal Framework for Database Specification and Verification
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
Hi-index | 0.00 |