Reasoning about ER models in a deductive environment

DOI10.1016/0169-023X(95)00047-VzbMath0875.68344OpenAlexW2019051039WikidataQ127809417 ScholiaQ127809417MaRDI QIDQ4332062

Gustaf Neumann

Publication date: 27 February 1997

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-023x(95)00047-v

zbMATH Keywords

Logic programmingExpert systemsPrototypingConceptual ModelingSYLLOG

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Uses Software

• XSB

This page was built for publication: Reasoning about ER models in a deductive environment