A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
Proceedings on International conference on database theory
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Methodology and Tools for Data Design
Methodology and Tools for Data Design
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Towards a sound view integration methodology
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Covering and Disjointness Constraints in Type Networks
Proceedings of the Third International Conference on Data Engineering
On the Properties of Extended Inclusion Dependencies
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Interactive Design of Object-Oriented Schema
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Hi-index | 0.01 |