A Completeness Technique for D-Axiomatizable Semantics

Francine Berman

Published in: STOC (1979)

Keyphrases

logic programming
formal semantics
databases
conceptual model
specification language
neural network
data mining
case study
database systems
multiscale
search algorithm
owl ontologies
model theoretic