A conceptual design aid environment for expert-database systems
- 30 June 1985
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 1 (1) , 31-73
- https://doi.org/10.1016/0169-023x(85)90026-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Elementary Predicate LogicPublished by Springer Nature ,1983
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980
- Semantics of data bases: The semantics of data modelsInformation Systems, 1978
- Database abstractionsACM Transactions on Database Systems, 1977
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965