Towards multi-level and modular conceptual schema specifications
Information Systems
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
First-Order Dynamic Logic
Information Systems Design Methodologies; A Comparative Review: Proceedings of the IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies, Noordwijkerhout, the Netherlands, 10-14 May 1982
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A Data Type Approach to the Entity-Relationship Approach
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Axiomatization and simplification rules for relational transactions
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)
Modeling and Analysis of the Behavior of Information Systems
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 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
THM-NET: an approach to office systems modeling
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
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
A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Integrity maintenance in extensible databases
Database integrity
Hi-index | 0.00 |