Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Computational problems related to the design of normal form relational schemas
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
View representation in logical database design
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Towards a sound view integration methodology
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inclusion dependencies and the universal instance
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Compatible attributes in a universal relation
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Inclusion dependencies and their interaction with functional dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Formal Properties of Net-Based Knowledge Representation Schemes
Proceedings of the Second International Conference on Data Engineering
Operations and the Properties on Non-First-Normal-Form Relational Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Comprehensive Approach to the Design of Relational Database Schemes
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Choices in Practical Data Design
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Conceptual Design of a Database Machine based on a New Data Model
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |