Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
An information algebra: phase 1 report—language structure group of the CODASYL development committee
Communications of the ACM
IAM: an inferential abstract modeling approach to design of conceptual schema
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Information Systems Development: A Systematic Approach
Information Systems Development: A Systematic Approach
An experiment in computer aided information systems development
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
From information requirements to DBTG-data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
| Hi-index | 48.22 |